SWI-Prolog
aadilkhan