4 ms·
Prolog's unification is quite a bit more powerful than Erlang's pattern matching, though. You can't pass around uninstantiated variables in Erlang. Erlang also
by silentbicycle 16y ago
Prolog's unification is quite a bit more powerful than Erlang's pattern matching, though. You can't pass around uninstantiated variables in Erlang. Erlang also discarded backtracking (because it mixes poorly with concurrency).
- evgen 16y agoOTOH, it is possible to add some of it back in. Check out Robert Virding's erlog (http://github.com/rvirding/erlog http://github.com/rvirding/erlog) and his explanation of how you can add backtracking to erlang (http://rvirding.blogspot.com/2009/03/backtracking-in-erlang-part-1-control.html http://rvirding.blogspot.com/2009/03/backtracking-in-erlang-...)