4 ms·
As for binding, yes, you can come up with similarly looking examples, but they are different in essence: Erlang has pattern matching, while Prolog has unificati
by zura 12y ago
As for binding, yes, you can come up with similarly looking examples, but they are different in essence: Erlang has pattern matching, while Prolog has unification.
- mcguire 12y ago"Erlang has pattern matching, while Prolog has unification." Ah, yes. My first reaction to seeing pattern matching in ML: "Hey, this is literally half of unification."
- dragonwriter 12y agoI'm kind of wondering why we haven't seen any notable (unless I've missed something) languages with full unification escape from academia into wider use since Prolog -- I know on the academic side there is Oz, which is a very interesting language, but I don't get the impression that its seen much, if any, use in industry.