Hacker News Reader

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

Erlang has some roots in Prolog. Its initial version was actually implemented in Prolog.

It is unification to a certain extent, but unification is slightly different IIRC the semantics correctly.