SWI-Prolog
keke