Additional information
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.