From Erlang I think it could be good to annotate that as syntax are mostly look alike to Prolog. =:= expression is meaning of exactly equal. such as in JavaScript you can use === to also see if the type of the variables are same. Basically it's same logic but =:= is used in functional languages as Prolog, Erlang.