SWI-Prolog
Girayity