SWI-Prolog
Hierophantos