SWI-Prolog
beso96