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