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