Parallel logic programming im PARLOG : The language and its implementation - Gregory, Steve (Addison-Wesley, 1987)