SWI-Prolog
soli