SWI-Prolog
kowalsky