SWI-Prolog
da-poodle