SWI-Prolog
sperber