Higher-Order Logic Programming Languages with Constraints: A Semantics

DOI10.1007/978-3-540-73228-0_20MaRDI QIDQ3612637zbMATH OpenOpenAlexFDO

Authors James Lipton, Susana Nieva

Publication date 10 March 2009

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-73228-0_20

Mathematics Subject Classification ID

Logic programming (68N17) Semantics in the theory of computing (68Q55)

Recommendations

• Kripke semantics for higher-order type theory applied to constraint logic programming languages
• scientific article; zbMATH DE number 1692894
• A semantics for Prolog

Cited in

(9)

• A semantics for Prolog
• An extended constraint deductive database: theory and implementation
• scientific article; zbMATH DE number 1692894 (Why is no real title available?)
• Formalizing two fixed point semantics for \(HH(C)\)
• scientific article; zbMATH DE number 2031599 (Why is no real title available?)
• scientific article; zbMATH DE number 2031626 (Why is no real title available?)
• A restricted form of higher-order rewriting applied to an HDL semantics
• Formalizing a Constraint Deductive Database Language Based on Hereditary Harrop Formulas with Negation
• Kripke semantics for higher-order type theory applied to constraint logic programming languages

This page was built for publication: Higher-Order Logic Programming Languages with Constraints: A Semantics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3612637)