Look up
Charts
Prints
constraint logic programming
BNR Prolog
Ciao
Constraint Handling Rules