2 ms·

I don't know Erlang, but I have done some Prolog and this sounds an awful lot like unification of an equality predicate.

• raphaelss 12y ago
  Erlang has some roots in Prolog. Its initial version was actually implemented in Prolog.
• jlouis 12y ago
  It is unification to a certain extent, but unification is slightly different IIRC the semantics correctly.