Prolog =:= operator
I think the above answer deserves a few words of explanation here nevertheless. A short note in advance: Arithmetic expressions in Prolog are just terms (“Everything is a term in Prolog”), which are not evaluated automatically. (If you have a Lisp background, think of quoted lists). So 3 + 4 is just the same as … Read more