Campbell, J. A. ed "Implementations of Prolog" Ellis Horwood 1984

• Davies, D J (1983) Davies, D J "Popler - Implementation of a POP-2-based PLANNER" pp28-49
• Monteiro, L. (1984) Monteiro, L. "A Proposal for Distributed Programming in Logic"
• Porto , A. (1984) Porto , A. "Epilog: A Language for Extended Programming in Logic"