¿Prolog: Logic Programming Language, Algebraic Logic Functional Programming Language, Alice (programming language) - Couverture souple

 
9786133270350: ¿Prolog: Logic Programming Language, Algebraic Logic Functional Programming Language, Alice (programming language)
Couverture souple
ISBN 10 : 6133270357 ISBN 13 : 9786133270350
Editeur : OmniScriptum, 2026

Synopsis

Please note that the content of this book primarily consists of articles available from Wikipedia or other free sources online. ¿Prolog, also written lambda Prolog, is a logic programming language featuring polymorphic typing, modular programming, and higher-order programming. These extensions to Prolog are derived from the higher-order hereditary Harrop formulas used to justify the foundations of ¿Prolog. Higher-order quantification, simply typed ¿-terms, and higher-order unification gives ¿Prolog the basic supports needed to capture higher-order abstract syntax, an approach to representing syntax that maps object-level bindings to programming language bindings. Programmers in ¿Prolog need not deal with bound variable names: instead various declarative devices are available to deal with binder scopes and their instantiations. Since 1986, ¿Prolog has received numerous implementations.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Éditeur
OmniScriptum
Date d'édition
2026
Langue
anglais
ISBN 10 
6133270357
ISBN 13 
9786133270350
Reliure
Broché
Nombre de pages
92
Éditeur
Surhone Lambert M., Tennoe Mariam T., Henssonow Susan F.
Coordonnées du fabricant
non disponible
Personne responsable
non disponible