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 q...
Main Author: | |
---|---|
Format: | eBook |
Language: | English |
Published: |
Berlin, Heidelberg
Springer Berlin Heidelberg
1991, 1991
|
Edition: | 1st ed. 1991 |
Series: | Lecture Notes in Computer Science
|
Subjects: | |
Online Access: | |
Collection: | Springer Book Archives -2004 - Collection details see MPG.ReNa |
Table of Contents:
- Logic programming
- A reconciliation calculus
- A basic scheme for concurrent logic programming
- Incorporating negation
- Adding extra-logical features
- Event-driven reconciliation
- Comparison with related work
- Conclusion
- Towards a methodology of concurrent logic programming
- Programming non-behavioral applications
- Programming behavorial applications
- Conclusion
- Conclusion