PARLOG: parallel programming in logic
ACM Transactions on Programming Languages and Systems (TOPLAS) - The MIT Press scientific computation series
A parallel implementation of flat concurrent prolog
International Journal of Parallel Programming
Programming languages for distributed computing systems
ACM Computing Surveys (CSUR)
Design of the kernel language for the parallel inference machine
The Computer Journal - On concurrent logic programming
Janus: a step towards distributed constraint programming
Proceedings of the 1990 North American conference on Logic programming
Concurrent logic programming: asynchronism and language comparison
Proceedings of the 1990 North American conference on Logic programming
A Parlog based real-time distributed logic environment
Future Generation Computer Systems
List processing in real time on a serial computer
Communications of the ACM
A Declarative Environment for Distributed Programming
Proceedings of the IFIP 12th World Computer Congress on Algorithms, Software, Architecture - Information Processing '92, Volume 1 - Volume I
Efficient logic variables for distributed computing
ACM Transactions on Programming Languages and Systems (TOPLAS)
Multilingual and multiparadigm integration of a tuple channel-based coordination model
SAC '98 Proceedings of the 1998 ACM symposium on Applied Computing
Logic Channels: A Coordination Approach to Distributed Programming
IPPS '97 Proceedings of the 11th International Symposium on Parallel Processing
Logic Programming Languages for the Internet
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I
| Hi-index | 0.00 |
This paper presents a new language that integrates the real-time and distributed paradigms within the framework of a concurrent logic language. Concurrent logic languages (CLLs) are capable of expressing concurrence, communication and nondeterminism in a natural way. That is, the intrinsic parallel semantics of the concurrent logic languages makes them well-suited for distributed programming. The proposed language is particularly suitable for loosely coupled systems and it contains mechanisms for distributed and real-time process control. A new execution model for concurrent logic languages is presented, which enables efficient distributed execution and real-time control. The model is introduced by giving an operational semantics for the language and the new model's implementation is discussed, including the definition of a new abstract machine and its implementation on a network of Unix workstations. Although the sequential core is not optimized, some previous results are discussed, showing the feasibility of the language's execution model for distributed real-time systems. The language is currently being used as the kernel language for a distributed simulation and validation tool for communication protocols.