¿Prolog: Logic Programming Language, Algebraic Logic Functional Programming Language, Alice (programming language) - Softcover
Search results for ¿Prolog: Logic Programming Language, Algebraic Logic...
Seller Image
¿Prolog
Print on DemandSeller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware 92 pp. Englisch. Seller Inventory # 9786133270350
Seller Image
¿Prolog
Print on DemandSeller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Please note that the content of this book primarily consists of articlesavailable from Wikipedia or other free sources online. ¿Prolog, alsowritten lambda Prolog, is a logic programming language featuringpolymorphic typing, modular programming, and higher-order programming.These extensions to Prolog are derived from the higher-order hereditaryHarrop formulas used to justify the foundations of ¿Prolog. Higher-orderquantification, simply typed ¿-terms, and higher-order unification gives¿Prolog the basic supports needed to capture higher-order abstractsyntax, an approach to representing syntax that maps object-levelbindings to programming language bindings. Programmers in ¿Prolog neednot deal with bound variable names: instead various declarative devicesare available to deal with binder scopes and their instantiations. Since1986, ¿Prolog has received numerous implementations.VDM Verlag, Dudweiler Landstraße 99, 66123 Saarbrücken 92 pp. Englisch. Seller Inventory # 9786133270350
Seller Image
¿Prolog : Logic Programming Language, Algebraic Logic Functional Programming Language, Alice (programming language)
Print on DemandSeller: AHA-BUCH GmbH, Einbeck, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering. Seller Inventory # 9786133270350