May 25, 2015 · The = "operator" in Prolog is actually a predicate (with infix notation) =/2 that succeeds when the two terms are unified. Thus X = 2 or 2 = X amount to the same thing, a goal to unify X with …

Jan 25, 2021 · There are some special operators in Prolog, one of them is is, however, recently I came across the =:= operator and have no idea how it works. Can someone explain what this operator …

Nov 10, 2009 · What does \+ mean in Prolog? Asked 16 years, 1 month ago Modified 7 years, 8 months ago Viewed 62k times

Nov 22, 2012 · Prolog "or" operator, query Asked 13 years, 1 month ago Modified 12 years, 7 months ago Viewed 157k times

In Prolog, the "not" is an example of "negation as failure", but it is felt that \+ will make it clearer to the programmer just what precisely is being asserted in any given rule. So you CAN use "not" (most PL …

Sep 29, 2016 · How do I represent and manipulate atoms with capital letters in Prolog, without them being interpreted as variables? I'm developing a program in Prolog that interprets a chessboard …

Jun 7, 2018 · I have to define a prolog program which gives the truth table for a logic formula like this: (a or non (b and c)) where the logic variables can only have true or false value, and the only operato...

Nov 21, 2009 · I've read about it in a book but it wasn't explained at all. I also never saw it in a program. Is part of Prolog syntax? What's it for? Do you use it?

Documentation for the second variant pointed out by Kaarel can be found in this Visual Prolog reference page. However the problem with your code goes a little deeper.

Specifically, Prolog will never consider the third clause of your nrSubliste/2 rule, i.e. the one ignoring list head with _, if H in the second clause is such that munteMain(H) succeeds. Note that using ! makes …