Conclog: A Methodological Approach to Concurrent Logic Programming - Paperback

by Jean-Marie Jacquet (Author)

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.