{"product_id":"the-clausal-theory-of-types-d-a-wolfram-9780521117906","title":"The Clausal Theory of Types","description":"This 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.\u003cbr\u003e\u003cbr\u003e\u003cb\u003eAuthor:\u003c\/b\u003e D. A. Wolfram\u003cbr\u003e\u003cb\u003eISBN-10:\u003c\/b\u003e 0521117909\u003cbr\u003e\u003cb\u003eISBN-13:\u003c\/b\u003e 9780521117906\u003cbr\u003e\u003cb\u003ePublisher:\u003c\/b\u003e Cambridge University Press\u003cbr\u003e\u003cb\u003eLanguage:\u003c\/b\u003e English\u003cbr\u003e\u003cb\u003ePublished:\u003c\/b\u003e 07\/30\/2009\u003cbr\u003e\u003cb\u003ePages:\u003c\/b\u003e 136\u003cbr\u003e\u003cb\u003eFormat:\u003c\/b\u003e Paperback\u003cbr\u003e\u003cb\u003eWeight:\u003c\/b\u003e 0.50lbs\u003cbr\u003e\u003cb\u003eSize:\u003c\/b\u003e 9.61h x 6.69w x 0.29d","brand":"D. A. Wolfram","offers":[{"title":"Paperback","offer_id":44056250319103,"sku":"9780521117906","price":34.99,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0662\/2982\/9887\/files\/img_9569a6ff-a8df-4ded-bc3b-72a5547fb402.jpg?v=1685040320","url":"https:\/\/www.whiterainbookhouse.com\/products\/the-clausal-theory-of-types-d-a-wolfram-9780521117906","provider":"WR Book House","version":"1.0","type":"link"}