SWI-Prolog
xxjunxx