Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 233,528,231 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
1999
1999
Prototyping a Requirements Specification through an Automatically Generated Concurrent Logic Program
P. Letelier
,
P. Sánchez
,
I. Ramos
International Symposium on Practical Aspects of…
1999
Corpus ID: 39784833
OASIS is a formal approach for the specification of object oriented conceptual models. In OASIS conceptual schemas of information…
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
The Concurrent Constraint Programming Research Programmes
V. Saraswat
International Conference on Principles and…
1995
Corpus ID: 8503577
Concurrent constraint programming (CCP) was introduced eight years ago as a simple combination of ideas from concurrent logic…
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
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
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
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
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