Implementations of Prolog, 1984

Past and present

Studies of Implementations

Current Issues in Prolog Implementation

Theoretical Frameworks and Present Implementations

Proposals for the Future

a service of Schloss Dagstuhl - Leibniz Center for Informatics