Extending constraint logic programming with open functions

Authors:
Nikolay Pelov;Maurice Bruynooghe
Affiliations:
Dept. of Computer Science, K.U.Leuven, Celestijnenlaan 200A, B-3001 Heverlee, Belgium;Dept. of Computer Science, K.U.Leuven, Celestijnenlaan 200A, B-3001 Heverlee, Belgium
Venue:
Proceedings of the 2nd ACM SIGPLAN international conference on Principles and practice of declarative programming
Year:
2000

Constraint logic programming

POPL '87 Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Equational problems anddisunification

Journal of Symbolic Computation
Algebraic specification

Handbook of theoretical computer science (vol. B)
The well-founded semantics for general logic programs

Journal of the ACM (JACM)
Planning as satisfiability

ECAI '92 Proceedings of the 10th European conference on Artificial intelligence
Functional constraints in CLP languages

Constraint logic programming
XSB as an efficient deductive database engine

SIGMOD '94 Proceedings of the 1994 ACM SIGMOD international conference on Management of data
Tabled evaluation with delaying for general logic programs

Journal of the ACM (JACM)
Answer set planning

Proceedings of the 1999 international conference on Logic programming
ACLP: Flexible Solutions to Complex Problems

LPNMR '97 Proceedings of the 4th International Conference on Logic Programming and Nonmonotonic Reasoning
A Terminological Interpretation of (Abductive) Logic Programming

LPNMR '95 Proceedings of the Third International Conference on Logic Programming and Nonmonotonic Reasoning

Hi-index	0.00