A Prolog Constraint Handling Rules compiler and runtime system (0)

by C Holzbaur, T Frühwirth
Venue:In Cliques, Coloring, and Satisfiability. DIMACS Series in Discrete Mathematics and Theoretical Computer Science