(Note: this answer is somewhat of a guess) Consider how Prolog determines whether f(a,c) is true or not. It checks the first rule, f(a,b), and doesn’t find a match, but the second rule, f(a,c) matches. Therefore, f(a,c) is true. Furthermore, since there are no more rules for f, there is no point in allowing a … Read more
Have a look at: http://www.swi-prolog.org/FAQ/AllOutput.html The simple solution is to type w after the answer is given, i.e.: ?- n_queens_problem(10,X). X = [1, 3, 6, 8, 10, 5, 9, 2, 4|…] [write] X = [1, 3, 6, 8, 10, 5, 9, 2, 4, 7] After you have pressed the “w”-key “[write]” is displayed at the … Read more
If you have Homebrew installed, you can simply run brew install swi-prolog from Terminal, which will build it from source in one command. You can then run the interpreter using swipl.
Yes, you can use any text editor, incl. VIM. Once you have written a Prolog source file, say, file.pl, you can load it into SWI-Prolog like so: swipl -s file.pl This will compile your file and take you to an interactive shell where you can then ask queries against the definitions in your file. If … Read more