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)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
1997
1997
Program slicing has been widely studied for imperative programs, but for logic programs it is just starting. In this paper we… 
1994
1994
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
Oz is an experimental higher-order concurrent constraint programming system under development at DFKI. It combines ideas from… 
1993
1993
We introduce ports, an alternative to streams, as communication support for object-oriented programming in concurrent constraint… 
Highly Cited
1991
Highly Cited
1991
Concurrent constraint programming [Sar89 ,SR90] is a simple and powerful model of concurrent computation based on the notions of… 
1991
1991
A novel approach to the modeling and analysis of an FMS (flexible manufacturing system) is presented, focusing on shop-floor… 
1990
1990
Saraswat recently introduced the framework of concurrent constraint programming [14]. The essence of the framework is that… 
Highly Cited
1989
Highly Cited
1989
This paper presents a new and very rich class of (concurrent) programming languages, based on the notion of computing with… 
Review
1989
Review
1989
Concurrent logic languages are high-level programming languages for parallel and distributed systems that offer a wide range of… 
1987
1987
In this paper we present some of the control constructs of the language CP, which is based on a concurrent interpretation of Horn…