SWI-Prolog
Xuaco