Observable Semantics for Constraint Logic Programs

DOI10.1093/logcom/5.2.133zbMath0823.68018OpenAlexW2056640187MaRDI QIDQ4763533

Giovanna M. Dore, Maurizio Gabbrielli, Giorgio Levi

Publication date: 17 April 1995

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/7b4aa3403ad68513b4e8be57f70e8c6d433f8580

zbMATH Keywords

semanticsconstraint logic programming

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items

Constraint logic programming with dynamic scheduling: A semantics based on closure operators ⋮ A new generic scheme for functional logic programming with constraints ⋮ Transformations of CLP modules ⋮ Proof-search in intuitionistic logic based on constraint satisfaction ⋮ A declarative semantics for CLP with qualification and proximity ⋮ A semantics for modular general logic programs