SWI-Prolog
NicRG