SWI-Prolog
Boris