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… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1986-2012
05101519862012

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
1994
1994
Program dependences are dependence relationships holding between statements in a program which can be used to infer about the… (More)
  • table 2
Is this relevant?
1993
1993
  • Reem Bahgat
  • World Scientific Series in Computer Science
  • 1993
Want to get experience? Want to get any ideas to create new things in your life? Read non deterministic concurrent logic… (More)
Is this relevant?
Review
1993
Review
1993
The endeavor to extend logic programming to a language suitable for concurrent systems has stimulated in the last decade an… (More)
Is this relevant?
1993
1993
We introduce ports, an alternative to streams, as communication support for object-oriented programming in concurrent constraint… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
1991
1991
Reading is a hobby to open the knowledge windows. Besides, it can provide the inspiration and spirit to face this life. By this… (More)
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… (More)
Is this relevant?
Review
1989
Review
1989
Concurrent logic languages are high-level programming languages for parallel and distributed systems that offer a wide range of… (More)
Is this relevant?
1988
1988
A significant motivation for programming language research is to find good abstractions and conceptual frameworks that enable us… (More)
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… (More)
Is this relevant?
1986
1986
Concurrent Prolog supports object-oriented programming with a clean semantics and additional programming constructs such as… (More)
Is this relevant?