Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 226,292,337 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.
1998
1998
Specifying Real-Time Finite-State Systems in Linear Logic
M. Kanovich
,
M. Okada
,
A. Scedrov
COTIC
1998
Corpus ID: 9174697
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
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
1994
1994
Some Methodological Issues in the Design of CIAO, a Generic, Parallel Concurrent Constraint Logic Programming System
M. Hermenegildo
Principles and Practice of Constraint Programming
1994
Corpus ID: 15648817
We informally discuss several issues related to the parallel execution of logic programming systems and concurrent logic…
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
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