SWI-Prolog
snarfed