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 |
| Publisher: Springer |
| Publication Date: Nov 27, 1991 |
| Number of Pages: 787 pages |
| Binding: Paperback or Softback |
| ISBN-10: 3540549382 |
| ISBN-13: 9783540549383 |