Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 227,732,036 papers from all fields of science
Search
Sign In
Create Free Account
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
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
6 relations
Concurrent constraint logic programming
Fifth generation computer
KL1
Nondeterministic programming
Expand
Broader (1)
Logic programming
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
1997
1997
Slicing Concurrent Logic Programs
Jianjun Zhao
,
Jingde Cheng
,
K. Ushijima
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
1996
1996
A logic-based concurrent object-oriented programming language
Rafael Ramírez-Meléndez
1996
Corpus ID: 15258776
Parallel computers and distributed systems are becoming increasingly important. Their impressive computation to cost ratios o er…
Expand
Review
1995
Review
1995
Programming In Concurrent Logic Languages
Matthew M. Huntbach
,
G. Ringwood
IEEE Software
1995
Corpus ID: 40532880
The authors survey concurrent logic languages, which expand Prolog by dropping its built-in sequential search order. These…
Expand
1993
1993
Concurrent Logic Programming
U. Glässer
1993
Corpus ID: 64154243
Process interpretation of logic programs establishes the abstract computational model of concurrent logic programming in which…
Expand
1993
1993
Non-Deterministic Concurrent Logic Programming in Pandora
R. 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
1992
1992
A Lingua Franca For Concurrent Logic Programming
H. Taylor
IEEE Trans. Software Eng.
1992
Corpus ID: 10987433
Two of the more important concurrent logic programming languages with nonflat guards are GHC and Parlog. They balance the…
Expand
1990
1990
Concurrent Logic Programming as a Hardware Description Tool
Y. Dotan
,
B. Arazi
IEEE Trans. Computers
1990
Corpus ID: 31188829
The possibility of developing hardware description languages (HDLs) based on the principles of logic programming is discussed…
Expand
1988
1988
Detecting stable properties of networks in concurrent logic programming languages
V. Saraswat
,
K. Kahn
,
David R. Weinbaum
ACM SIGACT-SIGOPS Symposium on Principles of…
1988
Corpus ID: 9071865
A significant motivation for programming language research is to find good abstractions and conceptual frameworks that enable us…
Expand
1987
1987
A Declarative Environment for Concurrent Logic Programming
K. Clark
,
Ian T Foster
TAPSOFT, Vol.2
1987
Corpus ID: 27818350
A logic programming environment should provide users with declarative control of program development and execution and resource…
Expand
1986
1986
Towards a Formal Semantics for Concurrent Logic Programming Languages
L. Beckman
International Conference on Logic Programming
1986
Corpus ID: 42319057
A method for giving a formal semantics of concurrent logic programming languages is proposed. It is shown how the semantics can…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE