{"title":"D A Wolfram","description":null,"products":[{"product_id":"clausal-theory-of-types-book-d-a-wolfram-9780521395380","title":"The Clausal Theory of Types","description":"In this book is presented the theoretical foundation of a higher-order logic programming language with equality, based on the clausal theory of types.","brand":"WoB","offers":[{"title":"- \/ - \/ -","offer_id":51592452604177,"sku":"","price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ VERY_GOOD \/ INTERNAL","offer_id":51592452636945,"sku":"GOR014340193","price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ INGRAM","offer_id":52428280037649,"sku":"NLS9780521395380","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/0521395380.jpg?v=1751420695"},{"product_id":"clausal-theory-of-types-book-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.","brand":"WoB","offers":[{"title":"- \/ - \/ INTERNAL","offer_id":52480292258065,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ INGRAM","offer_id":52480293404945,"sku":"NLS9780521117906","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9780521117906.jpg?v=1759850003"}],"url":"https:\/\/www.worldofbooks.com\/en-gb\/collections\/author-books-by-d-a-wolfram.oembed","provider":"World of Books ","version":"1.0","type":"link"}