Conclog: A Methodological Approach to Concurrent Logic Programming (Lecture Notes in Computer Science)

By Jean-Marie Jacquet

This book presents a new concurrent logic programming language called Conclog and a methodology for programming in it. Conclog conserves the declarative appeal of logic programming while ensuring efficiency. The methodology is aimed at constructing Conclog programs in a rigorous way.

• Format: Paperback
• Language: English
• ISBN: 3540549382
• ISBN13: 9783540549383
• Release Date: November 1991
• Publisher: Springer
• Length: 787 Pages
• Weight: 2.43 lbs.
• Dimensions: 1.6" x 6.1" x 9.2"