5 ms·
Erlang is not a logic programming language. They started with a logic programming language and eventually removed every feature that made it a logic programming
by EdiX 16y ago
Erlang is not a logic programming language. They started with a logic programming language and eventually removed every feature that made it a logic programming language.
- silentbicycle 16y agoHence, "to come out of logic programming". It's declarative, but not an LP per se - backtracking really clashes with the priority on (soft) real-time behavior and concurrency. The Prolog origins are probably most visible in the syntax and emphasis on pattern-matching.
- gtani 16y agoCorrect, what's left in erlang from prolog is the pattern matching syntax for function definition, where you have multiple clauses to test, sequentially, whether runtime args match the number and types of parameters in each clause (and values, if guards are used). No unification/backtrackig involved.