Foundations of logic programming
Foundations of logic programming
Properties of substitutions and unifications
Journal of Symbolic Computation
PARLOG: parallel programming in logic
ACM Transactions on Programming Languages and Systems (TOPLAS) - The MIT Press scientific computation series
Artificial Intelligence
Towards a formal semantics for concurrent logic programming languages
Proceedings on Third international conference on logic programming
Concurrent Prolog: A Progress Report
Computer
Contributions to the Theory of Logic Programming
Journal of the ACM (JACM)
Operational semantics of a parallel object-oriented language
POPL '86 Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Partial correctness semantics for CP [ , | , &]
Proceedings of the Fifth Conference on Foundations of Software Technology and Theoretical Computer Science
The Scientific Community Metaphor
The Scientific Community Metaphor
Concurrent constraint programming languages
Concurrent constraint programming languages
Parlog86 and the dining logicians
Communications of the ACM
Detecting stable properties of networks in concurrent logic programming languages
PODC '88 Proceedings of the seventh annual ACM Symposium on Principles of distributed computing
The family of concurrent logic programming languages
ACM Computing Surveys (CSUR)
Concurrent constraint programming
POPL '90 Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
The concurrent language, Shared Prolog
ACM Transactions on Programming Languages and Systems (TOPLAS)
The CLP( R ) language and system
ACM Transactions on Programming Languages and Systems (TOPLAS)
Parallel logic programming systems
ACM Computing Surveys (CSUR)
From logic to stochastic processes (abstract only)
Proceedings of the 2nd ACM SIGPLAN international conference on Principles and practice of declarative programming
Automatic data mapping of signal processing applications
ASAP '97 Proceedings of the IEEE International Conference on Application-Specific Systems, Architectures and Processors
Agent-oriented programming: from prolog to guarded definite clauses
Agent-oriented programming: from prolog to guarded definite clauses
CP as a general-purpose constraint-language
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 1
CP as a general-purpose constraint-language
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 1
| Hi-index | 0.02 |
In this paper we present some of the control constructs of the language CP, which is based on a concurrent interpretation of Horn logic programming. We present a formal structural operational semantics and relate the meaning of programs in this language to the underlying (pure) Horn clause axioms.