SWI-Prolog
balog-b