SWI-Prolog
hnbeck