Higher-Order Logic Programming Languages with Constraints: A Semantics

DOI10.1007/978-3-540-73228-0_20zbMath1215.68058OpenAlexW1481848333MaRDI QIDQ3612637

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

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

Related Items (3)

An extended constraint deductive database: theory and implementation ⋮ Kripke semantics for higher-order type theory applied to constraint logic programming languages ⋮ Formalizing a Constraint Deductive Database Language Based on Hereditary Harrop Formulas with Negation

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