{"product_id":"extensions-of-logic-programming-4th-international-workshop-elp-93-st-andrews-u-k-march-29-april-1-1993-proceedings-9783540580256","title":"Extensions of Logic Programming: 4th International Workshop, ELP '93, St Andrews, U.K., March 29 - April 1, 1993. Proceedings","description":"\u003cp\u003e • Author(s): Roy Dyckhoff\u003cbr\u003e • Publisher: Springer\u003cbr\u003e • Publisher Imprint: Springer\u003cbr\u003e • BISAC: Programming - Object Oriented\u003c\/p\u003e\u003cp\u003eThe papers in this volume are extended versions of presentations at the fourth International Workshop on Extensions of Logic Programming, held at the University of St Andrews, March\/April 1993. Among the topics covered in the volume are: defintional reflection and completion, modules in lambda-Prolog, representation of logics as partial inductive definitions, non-procedural logic programming, knowledge representation, contradiction avoidance, disjunctive databases, strong negation, linear logic programming, proof theory and regular search spaces, finite sets and constraint logic programming, search-space pruning and universal algebra, and implementation on transputer networks.\u003c\/p\u003e","brand":"Springer","offers":[{"title":"Paperback","offer_id":47591729332375,"sku":"9783540580256","price":5737.0,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0666\/3471\/1191\/files\/9783540580256.webp?v=1774974293","url":"https:\/\/atlanticbooks.com\/products\/extensions-of-logic-programming-4th-international-workshop-elp-93-st-andrews-u-k-march-29-april-1-1993-proceedings-9783540580256","provider":"Atlantic Books","version":"1.0","type":"link"}