Design and distributed implementation of parallel logic language Shared Prolog.