SWI-Prolog
andiejs