Erlang is interesting too here, in that it basically works the same way (unification essentially via substitution). If you can't make it work, a program excepti

Erlang is interesting too here, in that it basically works the same way (unification essentially via substitution). If you can't make it work, a program exception is thrown instead of a false language. This all makes sense since prolog talks more about logic, and erlang is GP language.