Conclog: A Methodological Approach to Concurrent Logic Programming

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 suita...