SWI-Prolog
damiazz94