A necessary condition for Constructive Negation in Constraint Logic Programming
References (16)
- et al.
Logic programming and negation: A survey
J. Logic Programming
(1994) - et al.
A transformation approach to negation in logic programming
J. Logic Programming
(1990) - et al.
{log}: A language for programming in logic with finite sets
J. Logic Programming
(1996) Constructive Negation by pruning
J. Logic Programming
(1997)- et al.
Constraint logic programming: A survey
J. Logic Programming
(1994) - et al.
The semantics of constraint logic programs
J. Logic Programming
(1998) - et al.
Making Prolog more expressive
J. Logic Programming
(1984) Negation in logic programming
There are more references available in the full text version of this article.
Cited by (11)
Modeling and Reasoning in Event Calculus using Goal-Directed Constraint Answer Set Programming
2021, Theory and Practice of Logic ProgrammingPreface
2017, Theory and Practice of Logic ProgrammingTowards Dynamic Consistency Checking in Goal-Directed Predicate Answer Set Programming
2022, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)Selective Unification in (Constraint) Logic Programming
2020, Fundamenta Informaticae
Copyright © 2000 Elsevier Science B.V. All rights reserved.