SWI-Prolog
twan