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.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.