Conclog: A Methodological Approach to Concurrent Logic Programming (Paperback) (ISBN-13: 9783540549383)

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.

Author: Jean-Marie Jacquet
ISBN-10: 3540549382
ISBN-13: 9783540549383
Publisher: Springer
Language: English
Published: 11/27/1991
Pages: 787
Format: Paperback
Weight: 2.43lbs
Size: 9.21h x 6.14w x 1.60d