SWI-Prolog
elfi