3 ms·
As a newbie, I don't know how to enable arithmetic (e.g. #=). gprolog has it enabled by default, so it's easier to get started.
by yakubin 4y ago
As a newbie, I don't know how to enable arithmetic (e.g. #=). gprolog has it enabled by default, so it's easier to get started.
- Avshalom 4y agoYou need to import the constraint logic module. :- use_module(library(clpfd)). Goes at the top of the file (leave off the :- if you're in the repl). The arithmetic built in to prolog is traditionally of the form A is 1+2, B is A+3, ... etc.
- rabbits77 4y agoGNU Prolog is an excellent choice for everybody. I once considered switching back and forth to SWI if I ever needed some convenient module GNU lacks. The need never really arose!