SWI-Prolog
lf94