SWI-Prolog
plaban