A Common Prolog

A.1 Introduction

A.2 Syntax

A.3 Defining Relations

A.4 Using The Logic Interpreter

A.5 Accessing Lisp From Common Prolog

A.6 Calling Prolog From Lisp

A.7 Debugging

A.8 Common Prolog Macros

A.9 Defining Definite Clause Grammars

A.10 Edinburgh Syntax

A.11 Graphic Development Environment

A.12 Built-in Predicates

A.13 Adding Built-in Predicates

A.14 Edinburgh Compatibility Predicates

KnowledgeWorks and Prolog User Guide (Unix version) - 24 Mar 2017