Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 236,792,034 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.
2012
2012
Modeling Datalog Assertion and Retraction in Linear Logic ∗
E. Lam
,
I. Cervesato
2012
Corpus ID: 15704297
Practical algorithms have been proposed to efficiently recompute the logical consequences of a Datalog program after a new fact…
Expand
1998
1998
Optimizing KLIC Generic Objects by Static Analysis
K. Ueda
,
Ryoji Tsuchiyama
1998
Corpus ID: 16038439
The KLIC system has achieved both high portability and extensibility by employing C as an intermediate language and featuring…
Expand
1995
1995
Tempo: A Declarative Concurrent Programming Language
S. Gregory
,
Rafael Ramírez
International Conference on Logic Programming
1995
Corpus ID: 18760898
Tempo is a declarative concurrent programming language based on classical first-order logic. It improves on traditional…
Expand
1995
1995
Model Generation Theorem Proving with Interval Constraints
Reiner Hähnle
,
R. Hasegawa
,
Yasuyuki Shirai
1995
Corpus ID: 18689253
We investigate how the deduction paradigm of model generation theorem proving can be enhanced with interval-and extraval-based…
Expand
1995
1995
Declarative Concurrent Object-oriented Programming in Tempo++
K. Kahn
1995
Corpus ID: 16241396
This paper presents Tempo++, a high-level programming language designed for concurrent object-oriented applications. It is based…
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
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
A Real-Time Extension to Logic Programming Based on the Concurrent Constraint Logic Programming Paradigm
T. Savor
,
P. Dasiewicz
Principles and Practice of Constraint Programming
1993
Corpus ID: 15470351
Although concurrent logic programming languages provide a suitable implementation environment for real-time systems, they fail to…
Expand
1988
1988
Concurrent Logic Programming, Metaprogramming, and Open Systems
K. Kahn
1988
Corpus ID: 15146216
An informal workshop on concurrent logic programming, metaprogramming, and open systems was held at Xerox Palo Alto Research…
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