SWI-Prolog
Vasalle