SWI-Prolog
kalidasya