{"product_id":"the-clausal-theory-of-types-9780521117906","title":"The Clausal Theory of Types","description":"\u003cp\u003e • Author(s): D. A. Wolfram\u003cbr\u003e • Publisher: Cambridge University Press\u003cbr\u003e • Publisher Imprint: Cambridge University Press\u003cbr\u003e • BISAC: Programming - Object Oriented\u003c\/p\u003e\u003cp\u003eThis book presents the theoretical foundation of a higher-order logic programming language with equality, based on the clausal theory of types. A long-sought goal of logic programming, the clausal theory of types is a logic programming language that allows functional computation as a primitive operation while having rigorous, sound, and complete declarative and operational semantics. The language is very powerful, supporting higher-order equational deduction and functional computation. Its higher order syntax makes it concise and expressive, abstract data types can be expressed in it, and searching for multiple solutions is a basic operation. The author proves a number of important and surprising results: a Skolem-Herbrand-Gödel theorem for higher-order logic; a Higher-Order Resolution Theorem, which includes as special cases some previously unproven conjectures about equational matching and higher-order matching.\u003c\/p\u003e","brand":"Cambridge University Press","offers":[{"title":"Paperback","offer_id":46881729642647,"sku":"9780521117906","price":3696.0,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0666\/3471\/1191\/files\/9780521117906.webp?v=1770232241","url":"https:\/\/atlanticbooks.com\/products\/the-clausal-theory-of-types-9780521117906","provider":"Atlantic Books","version":"1.0","type":"link"}