Look up
Charts
Prints
constraint logic programming language
B-Prolog
BNR Prolog
CHIP
Ciao
ECLiPSe
SWI-Prolog