SWI-Prolog
kenalex