make: prefer SWI-Prolog

It is open source, while the prior tool is commerical.
1 file changed