SWI-Prolog
Risto-Stevcev