Checking if your kit is complete... Looks good retrieving SWI-Prolog configuration: running 'pl -dump-runtime-variables' unable to run swi-prolog command 'pl': -1 Aborting... make: *** No targets specified and no makefile found. Stop.