If you are using ubuntu, run
$ sudo apt install swi-prologOn MacOS, run
$ brew install swi-prolog$ makeThen the executable main will appear.
Make sure it can run on console.
If you are using MacOS, put the executable main under MacBuild.app/Contents/Resources/Data/StreamingAssets/Programs/OSX/.