Parallel logic programming languages. Concurrent Prolog (1987)

by A Takeuchi, K Furukawa