4 ms·
What Is it about being a logic programming language that means that backtracking is not a part of it? I see backtracking as an implementation of search, where P
by whitten 7y ago
What Is it about being a logic programming language that means that backtracking is not a part of it?
I see backtracking as an implementation of search, where Prolog takes expressions and finds bindings for those expressions where the expressions are true. Doesn't Erlang look for solutions to its rules?
- lostcolony 7y agoI see search as a particular kind of problem that would be defined in a library, not a language. Unless it's a language built specifically to solve constraints (i.e., a logic programming language), which Erlang is not. Can you point out where within Erlang you feel backtracking should be supported by the core library? It sounds to me like you want the language to be something it fundamentally isn't; i.e., more Prolog-like, and I'm uncertain as to why.
- Avshalom 7y agoI think they may be confounding pattern matching with unification.