# 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
• 1997
• Corpus ID: 14804815
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
• KI
• 1993
• Corpus ID: 6656364
Oz is an experimental higher-order concurrent constraint programming system under development at DFKI. It combines ideas from…
1993
1993
• 1993
• Corpus ID: 14967421
We introduce ports, an alternative to streams, as communication support for object-oriented programming in concurrent constraint…
Highly Cited
1991
Highly Cited
1991
• POPL '91
• 1991
• Corpus ID: 1452066
Concurrent constraint programming [Sar89 ,SR90] is a simple and powerful model of concurrent computation based on the notions of…
1991
1991
• IEEE Trans. Robotics Autom.
• 1991
• Corpus ID: 26684830
A novel approach to the modeling and analysis of an FMS (flexible manufacturing system) is presented, focusing on shop-floor…
1990
1990
• OOPSLA/ECOOP '90
• 1990
• Corpus ID: 5896318
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…