swi-prolog: https://www.swi-prolog.org/ portable version: https://portableapps.com/apps/development/swi-prolog_portable interactive online tutorial (look under "examples"): https://swish.swi-prolog.org/