SWI-Prolog
Ktedon