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.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.