Close
Enter your search into one or more of the boxes below:
You can refine your search by selecting from any of the options below:
Search
Conclog: A Methodological Approach to Concurrent Logic Programming
Foyalty 355

Conclog: A Methodological Approach to Concurrent Logic Programming (Paperback)

£117.00
Printed to order. Despatched in 2-3 weeks.
Email me when back in stock

Synopsis

This book presents a new concurrent logic programming

language called Conclog and a methodology for programming in

it.

Conclog was designed bytaking the ideal features of logic

programming as reference, rather than by concentrating

directly on operational tricks to ensure efficiency. This

leads to quite easy declarative programming. Concern for

soundness and completeness ensures that multi-directional

and multi-solution correct procedures can be coded quite

straightforwardly. Assuming suitable hypotheses on their

uses, they can be transformed into very efficient versions

thanks to the introduction of appropriate control

information. Correctness-preserving properties are given for

that purpose.

The designof Conclog involves three steps. First, a sound

and complete parallel execution model of Horn clause

programs is proposed which reduces subgoals of conjunctions

independently and uses a calculus for reconciling

inconsistent bindings. Second, this is extended to handle

negation as completely as possible. Third, a minimal and

reasonably complete set of extra-logical features are

defined for optimization and practical purposes.

The second part of the book presents a methodology for

constructing Conclog in a rigorous way. This covers the

entire programming process, from informal specifications via

logic descriptions to efficient programs. The methodology

can be adapted to other languages.

Computing & ITComputer programming / software developmentProgramming & scripting languages: general Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Publication Date: 27/11/1991 ISBN-13: 9783540549383  Details: Type: Paperback Format: Books
Availability: Printed to order. Despatched in 2-3 weeks.  

More books by Jean-Marie Jacquet

Leave Review

Delivery

Delivery Options

All delivery times quoted are the average, and cannot be guaranteed. These should be added to the availability message time, to determine when the goods will arrive. During checkout we will give you a cumulative estimated date for delivery.

Location 1st Book Each additional book Average Delivery Time
UK Standard Delivery FREE FREE 3-5 Days
UK First Class £4.50 £1.00 1-2 Days
UK Courier £7.00 £1.00 1-2 Days
Western Europe** Courier £17.00 £3.00 2-3 Days
Western Europe** Airmail £5.00 £1.50 4-14 Days
USA / Canada Courier £20.00 £3.00 2-4 Days
USA / Canada Airmail £7.00 £3.00 4-14 Days
Rest of World Courier £22.50 £3.00 3-6 Days
Rest of World Airmail £8.00 £3.00 7-21 Days

** Includes Austria, Belgium, Denmark, France, Germany, Greece, Iceland, Irish Republic, Italy, Luxembourg, Netherlands, Portugal, Spain, Sweden and Switzerland.

Click and Collect is available for all our shops; collection times will vary depending on availability of items. Individual despatch times for each item will be given at checkout.

Special delivery items

A Year of Books Subscription Packages 

Delivery is free for the UK. Western Europe costs £60 for each 12 month subscription package purchased. For the Rest of the World the cost is £100 for each package purchased. All delivery costs are charged in advance at time of purchase. For more information please visit the A Year of Books page.

Animator's Survival Kit

For delivery charges for the Animator's Survival Kit please click here.

 

Delivery Help & FAQs

Returns Information

If you are not completely satisfied with your purchase*, you may return it to us in its original condition with in 30 days of receiving your delivery or collection notification email for a refund. Except for damaged items or delivery issues the cost of return postage is borne by the buyer. Your statutory rights are not affected.

* For Exclusions and terms on damaged or delivery issues see Returns Help & FAQs

You might also like

Introduction to Python for Science ...
(Paperback)
David J. Pine
 
 
£44.99
 
Browsers, Devices, and Fonts: A...
(Hardback)
Gary Rozanc
 
 
£115.00
 
Learning Java with Games
(Hardback)
Chong-Wei Xu
 
 
£44.99
 
Algorithm Design Practice for...
(Paperback)
Yonghui Wu; Jiande Wang
 
 
£77.00
 
© W&G Foyle Ltd
Foyles uses cookies to help ensure your experience on our site is the best possible. Click here if you’d like to find out more about the types of cookies we use.
Accept and Close