|
- What does \\+ mean in Prolog? - Stack Overflow
What does \+ mean in Prolog? Asked 16 years ago Modified 7 years, 7 months ago Viewed 62k times
- What is the difference between == and = in Prolog?
Prolog documentation \= means the two terms cannot be unified, i e that unification fails As with all applications of negation as failure, "not unified" does not (and cannot) result in any unification between terms \== means the two terms are not identical Here also no unification takes place even if this succeeds
- math - Prolog =:= operator - Stack Overflow
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 does, and also
- Not equal and not unify in Prolog - Stack Overflow
A \= B is equivalent to not (A = B) So lets compare = 2 and == 2 first; from the swi-prolog manual: ?Term1 = ?Term2 Unify Term1 with Term2 True if the unification succeeds @Term1 == @Term2 True if Term1 is equivalent to Term2 Notice that = 2 tries to unify the terms and if it succeeds it's true while == 2 just performs a check:
- syntax - Prolog or operator, query - Stack Overflow
Prolog "or" operator, query Asked 13 years ago Modified 12 years, 6 months ago Viewed 157k times
- if in prolog? - Stack Overflow
Is there a way to do an if in prolog, e g if a variable is 0, then to do some actions (write text to the terminal) An else isn't even needed, but I can't find any documentation of if
- Not equal sign in Visual Prolog? - Stack Overflow
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
- list - What is ! in Prolog - Stack Overflow
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 your code is somewhat harder to read and maintain, because the logic in the third clause depends on the logic of the second clause
|
|
|