The Semantics of Equational Logic Programming as an instance of CLP
María Alpuente, Moreno Falaschi, Maurizio Gabbrielli and Giorgio
We show how functional (i.e. equational) and logic programming
can be integrated within the Constraint Logic Programming paradigm.
The resulting language CLP(H/E) is specialized in
solving equations with respect to a Horn
equational theory E. CLP(H/E) inherits all the
semantic properties of the CLP scheme, including a new semantics which
models answer constraints. The operational semantics of CLP(H/E) is defined
by a constraint solver based on conditional narrowing. Several strategies
to obtain an incremental constraint solver are considered.
Equational logic programming, constraint logic programing, term rewriting
systems, non standard semantics.