Parallel logic programming in PARLOG : the language and its implementation - Gregory, Steve (International series in logic programming., 1987)