SWI-Prolog
ste