This is an alphabetical catalogue of features of Prolog-2, designed for use by those using advanced logic programming language who need a precise account of their operation. All the built-in predicates are included, as are system states, expression elements and miscellaneous items.
"synopsis" may belong to another edition of this title.