Isbn: 9786133215320 (4 results)

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware 96 pp. Englisch.

Taschenbuch. Condition: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - Please note that the content of this book primarily consists of articlesavailable from Wikipedia or other free sources online. Algebraic LogicFunctional programming language also known as ALF is a programminglanguage which combines functional and logic programming techniques. Itsfoundation is Horn clause logic with equality which consists ofpredicates and Horn clauses for logic programming, and functions andequations for functional programming. ALF was designed to be genuineintegration of both programming paradigms, and thus any functionalexpression can be used in a goal literal and arbitrary predicates canoccur in conditions of equations. ALF's operational semantics is basedon the resolution rule to solve literals and narrowing to evaluatefunctional expressions. In order to reduce the number of possiblenarrowing steps, a leftmost-innermost basic narrowing strategy is usedwhich, it is claimed, can be efficiently implemented.…

Taschenbuch. Condition: Neu. Algebraic Logic Functional Programming Language | Programming Language, Alice (programming language), Alma-0 | Lambert M. Surhone (u. a.) | Taschenbuch | Englisch | 2026 | OmniScriptum | EAN 9786133215320 | Verantwortliche Person für die EU: preigu GmbH & Co. KG, Lengericher Landstr. 19, 49078 Osnabrück, mail[at]preigu[dot]de | Anbieter: preigu Print on Demand. …

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. Algebraic LogicFunctional programming language also known as ALF is a programminglanguage which combines functional and logic programming techniques. Itsfoundation is Horn clause logic with equality which consists ofpredicates and Horn clauses for logic programming, and functions andequations for functional programming. ALF was designed to be genuineintegration of both programming paradigms, and thus any functionalexpression can be used in a goal literal and arbitrary predicates canoccur in conditions of equations. ALF's operational semantics is basedon the resolution rule to solve literals and narrowing to evaluatefunctional expressions. In order to reduce the number of possiblenarrowing steps, a leftmost-innermost basic narrowing strategy is usedwhich, it is claimed, can be efficiently implemented.VDM Verlag, Dudweiler Landstraße 99, 66123 Saarbrücken 96 pp. Englisch.…