Systems programming in parallel logic languages

Distributed variable server for atomic unification

PODC '90 Proceedings of the ninth annual ACM symposium on Principles of distributed computing

Parallel logic programming systems

ACM Computing Surveys (CSUR)

Can computational logic provide a paradigm for both the specification and implementation of concurrent systems?

ACM Computing Surveys (CSUR)

Parallel programming with logic languages: A survey

Computer Languages