Execution models of Prolog for parallel computers
Kacsuk, Peter.
London Pitman
1990
Parallel programming (Computer science)