Publisher's Synopsis
The Encyclopaedia is an alphabetical catalogue/reference of features of Prolog-2 needed by an advanced logic programming language in general and an account of their operation. All the built-in predicates are included, but so are system states, expression elements and miscellaneous items needing explanation.