SWI-Prolog
Jufrus