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 Edinburgh Syntax

A.10 Graphic Development Environment

A.11 Built-in Predicates

A.12 Adding Built-in Predicates

A.13 Edinburgh Compatibility Predicates

KnowledgeWorks and Prolog User Guide (Unix version) - 4 Apr 2005