SWI-Prolog
Raccoon