A.13 Adding Built-in Predicates

Common Prolog provides several special forms for adding new predicates written in Lisp. Each one is described below, with an example.

A.13.1 The defdetpred form

A.13.2 The defdetunipred form

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