J Jaffar;Jean-Louis Lassez;M J Maher
-;-;-
Constraint logic programming
POPL '87 Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Negation as Failure as Resolution
Constraints
Topology And The Semantics Of Logic Programs
Fundamenta Informaticae