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
Is this relevant?
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
Is this relevant?
1993
1993
We introduce ports, an alternative to streams, as communication support for object-oriented programming in concurrent constraint… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
1993
1993
  • Reem Bahgat
  • World Scientific Series in Computer Science
  • 1993
  • Corpus ID: 20145560
Introduction logic programming Pandora - the language constraint-based reasoning in Pandora for solving resource allocation… Expand
Is this relevant?
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
Is this relevant?
1991
1991
A novel approach to the modeling and analysis of an FMS (flexible manufacturing system) is presented, focusing on shop-floor… Expand
Is this relevant?
1991
1991
Logic programming.- A reconciliation calculus.- A basic scheme for concurrent logic programming.- Incorporating negation.- Adding… Expand
Is this relevant?
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
Is this relevant?
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
Is this relevant?
1986
1986
Concurrent Prolog supports object-oriented programming with a clean semantics and additional programming constructs such as… Expand
Is this relevant?