Prolog Language Operators Term equality

Help us to keep this website almost Ad Free! It takes only 10 seconds of your time:
> Step 1: Go view our video on YouTube: EF Core Bulk Extensions
> Step 2: And Like the video. BONUS: You can also share it!

Example

Equality operatorSucceeds if
X = YX can be unified with Y
X \= YX cannot be unified with Y
X == YX and Y are identical (i.e. they unify with no variable bindings occurring)
X \== YX and Y are not identical
X =:= YX and Y are arithmetically equal
X =\= YX and Y are not arithmetically equal


Got any Prolog Language Question?