You are currently offline. Some features of the site may not work correctly.

# 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… Expand
Wikipedia

## 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… Expand
1994
1994
We describe $$\mathcal{L}\mathcal{C}$$, a formalism based on the proof theory of linear logic, whose aim is to specify concurrent… Expand
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… Expand
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… Expand
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… Expand
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… Expand
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… Expand
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… Expand
1986
1986
• OOPSLA
• 1986
• Corpus ID: 16608960
Concurrent Prolog supports object-oriented programming with a clean semantics and additional programming constructs such as… Expand
1986
1986
• OOPSLA
• 1986
• Corpus ID: 62384140
Concurrent Prolog supports object-oriented programming with a clean semantics and additional programming constructs such as… Expand