Skip to search formSkip to main contentSkip to account menu

Concurrent logic programming

Concurrent logic programming is a variant of logic programming in which programs are sets of guarded Horn clauses of the form: H :- G1, …, Gn | B1… 
Wikipedia (opens in a new tab)

Related topics

Related topics

6 relations
Concurrent constraint logic programmingFifth generation computerKL1Nondeterministic programming

Broader (1)

Logic programming

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
1997
1997
Slicing Concurrent Logic Programs
Program slicing has been widely studied for imperative programs, but for logic programs it is just starting. In this paper we… 
1994
1994
Concurrent Logic Programming as Uniform Linear Proofs
We describe \(\mathcal{L}\mathcal{C}\), a formalism based on the proof theory of linear logic, whose aim is to specify concurrent… 
Highly Cited
1993
Highly Cited
1993
Object-Oriented Concurrent Constraint Programming in Oz
Oz is an experimental higher-order concurrent constraint programming system under development at DFKI. It combines ideas from… 
1993
1993
Ports for objects in concurrent logic programs
We introduce ports, an alternative to streams, as communication support for object-oriented programming in concurrent constraint… 
Highly Cited
1991
Highly Cited
1991
The semantic foundations of concurrent constraint programming
Concurrent constraint programming [Sar89 ,SR90] is a simple and powerful model of concurrent computation based on the notions of… 
1991
1991
Modeling flexible manufacturing systems: the concurrent logic programming approach
A novel approach to the modeling and analysis of an FMS (flexible manufacturing system) is presented, focusing on shop-floor… 
1990
1990
Actors as a special case of concurrent constraint (logic) programming
Saraswat recently introduced the framework of concurrent constraint programming [14]. The essence of the framework is that… 
Highly Cited
1989
Highly Cited
1989
Concurrent constraint programming
This paper presents a new and very rich class of (concurrent) programming languages, based on the notion of computing with… 
Review
1989
Review
1989
The family of concurrent logic programming languages
Concurrent logic languages are high-level programming languages for parallel and distributed systems that offer a wide range of… 
1987
1987
The concurrent logic programming language CP: Definition and operational semantics
In this paper we present some of the control constructs of the language CP, which is based on a concurrent interpretation of Horn… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)