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

 
9786133270350: ¿Prolog: Logic Programming Language, Algebraic Logic Functional Programming Language, Alice (programming language)
Brossura
ISBN 10: 6133270357 ISBN 13: 9786133270350
Casa editrice: OmniScriptum, 2026

Sinossi

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.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Editore
OmniScriptum
Data di pubblicazione
2026
Lingua
Inglese
ISBN 10 
6133270357
ISBN 13 
9786133270350
Rilegatura
Copertina flessibile
Numero di pagine
92
Redattore
Surhone Lambert M., Tennoe Mariam T., Henssonow Susan F.
Contatto del produttore
non disponibile
Persona responsabile
non disponibile