SWI-Prolog
cs6