3 ms·
Well, thinking about it, I guess one could achieve aspects of this by using lazy iterators in a functional programming language too, but it still seems to lack
by samuell 10y ago
Well, thinking about it, I guess one could achieve aspects of this by using lazy iterators in a functional programming language too, but it still seems to lack the declarative nature that you get with the unification / pattern matching of datalog/prolog ... I might be wrong though.
- notduncansmith 10y agoI know exactly what you mean. Read this section from the Elixir docs: http://elixir-lang.org/getting-started/pattern-matching.html http://elixir-lang.org/getting-started/pattern-matching.html Also this page from the Haskell tutorial: https://www.haskell.org/tutorial/patterns.html https://www.haskell.org/tutorial/patterns.html Fun fact: early versions of Erlang (which Elixir is built upon) were implemented in Prolog, and IIRC what would become Erlang later was originally intended to be an extension of Prolog. There are no new ideas.