Implementations of Prolog, 1984

John A. Campbell (Ed.): Implementations of Prolog. Ellis Horwood/Halsted Press/Wiley, 1984, ISBN 0-85312-675-5

Past and present

Studies of Implementations

Current Issues in Prolog Implementation

Theoretical Frameworks and Present Implementations

Proposals for the Future

maintained by Schloss Dagstuhl LZI at University of Trier