Overview
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
