Skip to search formSkip to main contentSkip to account menu

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
Program slicing has been widely studied for imperative programs, but for logic programs it is just starting. In this paper we… 
1996
1996
Parallel computers and distributed systems are becoming increasingly important. Their impressive computation to cost ratios o er… 
Review
1995
Review
1995
The authors survey concurrent logic languages, which expand Prolog by dropping its built-in sequential search order. These… 
1993
1993
Process interpretation of logic programs establishes the abstract computational model of concurrent logic programming in which… 
1993
1993
Introduction logic programming Pandora - the language constraint-based reasoning in Pandora for solving resource allocation… 
1992
1992
  • H. Taylor
  • 1992
  • Corpus ID: 10987433
Two of the more important concurrent logic programming languages with nonflat guards are GHC and Parlog. They balance the… 
1990
1990
The possibility of developing hardware description languages (HDLs) based on the principles of logic programming is discussed… 
1988
1988
A significant motivation for programming language research is to find good abstractions and conceptual frameworks that enable us… 
1987
1987
A logic programming environment should provide users with declarative control of program development and execution and resource… 
1986
1986
A method for giving a formal semantics of concurrent logic programming languages is proposed. It is shown how the semantics can…