Skip to search formSkip to main content
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
Program slicing has been widely studied for imperative programs, but for logic programs it is just starting. In this paper we… Expand
  • figure 2
  • figure 3
  • figure 4
  • figure 5
  • figure 6
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
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
Concurrent constraint programming [Sar89 ,SR90] is a simple and powerful model of concurrent computation based on the notions of… Expand
1991
1991
A novel approach to the modeling and analysis of an FMS (flexible manufacturing system) is presented, focusing on shop-floor… Expand
1990
1990
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
Concurrent Prolog supports object-oriented programming with a clean semantics and additional programming constructs such as… Expand
1986
1986
Concurrent Prolog supports object-oriented programming with a clean semantics and additional programming constructs such as… Expand