Higher-Order Logic Programming Languages with Constraints: A Semantics | Publicación