Negation and constraint logic programming

DOI10.1006/inco.1995.1048zbMath0827.68022OpenAlexW2041608581MaRDI QIDQ1891129

Peter J. Stuckey

Publication date: 28 May 1995

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1006/inco.1995.1048

zbMATH Keywords

constructive negationconstraint logic programming systems

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items

The first order theory of primal grammars is decidable, A necessary condition for constructive negation in constraint logic programming, Implementing constructive intensional negation, Programming in metric temporal logic, Institutions for logic programming, αCheck: A mechanized metatheory model checker, A new framework for declarative programming, An extended constraint deductive database: theory and implementation, Semantics of structured normal logic programs, A functorial framework for constraint normal logic programming, Unnamed Item, Constructive negation and constraint logic programming with sets, Extending Constructive Logic Negation with Types, Selective Unification in (Constraint) Logic Programming*, Linear concurrent constraint programming: Operational and phase semantics