SWI-Prolog
Azrael