Es gibt einige spezielle Operatoren in Prolog, einer von ihnen ist is Doch vor kurzem stieß ich auf die =:= Betreiber und haben keine Ahnung, wie es funktioniert.
Kann mir jemand erklären, was dieser Operator bewirkt, und wo ich eine vordefinierte Liste solcher speziellen Operatoren und ihrer Funktionen finden kann?
