SWI-Prolog
samer