Constraint logic programming with a relational machine

Emilio Jesús Gallego Arias, James Lipton, Julio Mariño. Constraint logic programming with a relational machine. Formal Asp. Comput., 29(1):97-124, 2017. [doi]

Abstract

Abstract is missing.