SWI-Prolog
gopalgupta