erlog

Though i only know Prolog cursorily it is in my todo list of languages to study. I think it has great value in that it teaches you a different paradigm for programming. You might also want to look at Erlang which is used in the Industry and would be helpful for your future. Joe Armstrong was originally inspired by Prolog and he conceived Erlang as Prolog-Ideas+Functional/Procedural+Concurrency+Fault-Tolerance. Hence you might find a lot of commonalities here. Here is a recent HN thread on a comparison - https://news.ycombinator.com/item?id=40521585 There is also "Erlog" (by Robert Virding, one of the co-creators of Erlang) which is described as, Erlog is a Prolog interpreter implemented in Erlang and integrated with the Erlang runtime system. It is a subset of the Prolog standard. An Erlog shell (REPL) is also included. It also says, If y

Robert Virding's erlog as well: https://github.com/rvirding/erlog (rvirding GOAT)

Off the top of my head: Javascript: http://tau-prolog.org/ Java: https://apice.unibo.it/xwiki/bin/view/Tuprolog/ (also SWI, Ciao and Sicstus have Java bridges) Go: https://github.com/ichiban/prolog Common Lisp: https://www.cliki.net/Prolog Racket: https://docs.racket-lang.org/racklog/ Guile: https://gitlab.com/gule-log/guile-log Erlang: https://github.com/rvirding/erlog Also SWI and Ciao have a pretty straight forward FFI for C.

> Erlang https://github.com/rvirding/erlog Fun fact: Erlang started out as a modified version of Prolog. The original Erlang VM was written in Prolog as well.

Prolog is fundamentally well established (~40 years old), and you can start using it today in several programming languages. For example: JavaScript http://tau-prolog.org Ruby https://github.com/preston/ruby-prolog Rust https://github.com/mthom/scryer-prolog Erlang https://github.com/rvirding/erlog If your language is missing one, implementing a basic Prolog is fairly simple. Take a look at the Ruby one: it's core is not even 500 lines of code! There are also great options like SWI Prolog if you want to build your entire app in Prolog. But I imagine it would be much easier to convince a work boss to pull in a library instead :) Re AI: It's true that Prolog's origins involved AI, but nowadays Prolog is better suited for more general logic programming tasks (there are better tools out there for AI specifically).

Robert Virding (of helped implement Erlang with Joe Armstrong (rip) fame) has developed a logic programming language that runs on the BEAM: https://github.com/rvirding/erlog I have not tried it yet. I have an idea that I know will work fine on Prolog, but, I want to put it on the web with elixir/phoenix. So I was thinking erlog might be a way to avoid message passing out to a separate prolog process.

Check out https://github.com/rvirding/erlog with Erlang/Elixir

yep, there's also an erlang implementation of prolog https://github.com/rvirding/erlog the only different with the others is that since they implement existent languages following the spec, which means that some things don't map directly to the VM semantics and pay a little overhead, for example lua is a mutable language and the BEAM is immutable, this means that mutability is implemented by passing an immutable environment and mutating it. This doesn't mean you can't use them, but they are mostly used as extension languages and for scripting than for complete projects.

I've stumbled into an interesting related comment on twitter, didn't know: "#Erlang based language ecosystem is more diverse than many know: #efene #reia #lfe #luaerl #erlog #elixir #mercury" https://twitter.com/BillBarnhill/status/670601359016771584 edit: Wow, and many of them seem to actually be by the same rvirding who authored lfe: https://github.com/rvirding/luerl https://github.com/rvirding/erlog

I like Elixir and Erlang. For some Elixir will be an easier and more accessible path toward using Erlang VM (BEAM), which, I think is an outstanding piece of engineering. Elixir besides looking more familiar has macros and can let you re-assign variables (data structures are still immutable). Usually I hear complaints about Erlang syntax. My personal opinion is Erlang's syntax is consistent and elegant. I prefer consistent and elegant over "curly braces" but with ambiguity and complexity. Usually it is things like thinking about actors, of functional paradigms (using recursion vs iteration), dealing with distributed nodes that are much interesting and harder. But everyone is different, so for those that syntax itself is a stumbling block, Elixir is an option. And just to be complete there are also Lisp, Prolog, Lua and basic Python integ

I went ahead and asked him and here is what he said: @clarkgrubb I use the #erlang Prolog system github.com/rvirding/erlog from @rvirding and swipl.

OTOH, it is possible to add some of it back in. Check out Robert Virding's 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-...)