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.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.