{"product_id":"9783540549383","title":"Lecture Notes in Computer Science","description":"\u003ch1\u003eLecture Notes in Computer Science\u003c\/h1\u003e \u003ch2\u003eJacquet, Jean-Marie\u003c\/h2\u003e \u003cp\u003eThis book presents a new concurrent logic programming\nlanguage called       Conclog and a methodology for programming in\nit.\nConclog was designed bytaking the ideal features of logic\nprogramming as reference, rather than by concentrating\ndirectly on operational tricks to ensure efficiency.          This\nleads to quite easy declarative programming. Concern for\nsoundness and completeness ensures that multi-directional\nand multi-solution correct  procedures can be coded quite\nstraightforwardly. Assuming suitable          hypotheses on their\nuses, they can be transformed into very efficient       versions\nthanks to the introduction of appropriate control\ninformation. Correctness-preserving properties are given for\nthat purpose.\nThe designof Conclog involves three steps. First, a sound\nand complete parallel       execution model of Horn clause\nprograms is proposed which reduces subgoals  of conjunctions\nindependently and uses a calculus for                       reconciling\ninconsistent bindings. Second, this is extended to              handle\nnegation as completely as possible. Third, a minimal                 and\nreasonably complete set of extra-logical features are\ndefined for   optimization and practical purposes.\nThe second part of the book presents a methodology for\nconstructing Conclog in a rigorous way. This covers         the\nentire programming process, from informal specifications via\nlogic  descriptions to efficient programs. The methodology\ncan be adapted to other languages.\u003c\/p\u003e \u003ch3\u003eDetails\u003c\/h3\u003e \u003cp\u003ePublished by: Springer\u003c\/p\u003e \u003cp\u003ePublication Date: 1991-11-27\u003c\/p\u003e \u003cp\u003eFormat: Paperback\u003c\/p\u003e \u003cp\u003eISBN-13: 9783540549383\u003c\/p\u003e \u003cp\u003eDOI: 10.1007\/3-540-54938-2\u003c\/p\u003e \u003cp\u003eDimensions: 250cm x170cm\u003c\/p\u003e \u003cp\u003ePages: 787\u003c\/p\u003e ","brand":"Springer Berlin Heidelberg","offers":[{"title":"Default Title","offer_id":45369901711500,"sku":"9783540549383","price":98.99,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0710\/9545\/1788\/files\/9783540549383.jpg?v=1773966630","url":"https:\/\/fh90cf-fv.myshopify.com\/products\/9783540549383","provider":"Late Knight Books and Services, LLC","version":"1.0","type":"link"}