rvirding/erlog
View on GitHub ↗ ★ 391 Erlang
Prolog interpreter in and for Erlang
14 mentions on Hacker News by 14 people: 2 stories, 12 comments · first 2010-12-28 · latest 2024-07-18
20082026
-
…map pretty cleanly between the two languages due to the fact that Erlang evolved from Prolog. - https://github.com/rvirding/erlog
comment by rramadass · 2024-07-18 · in Ask HN: What's Prolog like in 2024? -
Robert Virding's erlog as well: https://github.com/rvirding/erlog (rvirding GOAT)
comment by knewter · 2022-12-31 · in Prolog at Work -
…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.
comment by Avshalom · 2022-06-06 · in The Power of Prolog -
> 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.
comment by MisterTea · 2020-04-22 · in Guitar Chord Voicings with Prolog -
…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:…
comment by simplify · 2020-04-22 · in Guitar Chord Voicings with Prolog -
…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…
comment by Tistel · 2019-05-15 · in Use of Prolog for developing a new programming language (1992) [pdf] -
Check out https://github.com/rvirding/erlog with Erlang/Elixir
comment by Vosporos · 2017-12-05 · in Introduction to logic programming with Prolog -
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…
comment by marianoguerra · 2017-06-21 · in Erlang/OTP 20.0 -
…them seem to actually be by the same rvirding who authored lfe: https://github.com/rvirding/luerl https://github.com/rvirding/erlog
comment by akavel · 2016-03-17 · in Lisp Flavoured Erlang 1.0 released after 8 years of development -
…in various stages of maturity: http://lfe.io/ http://joxa.org/ https://github.com/rvirding/luerl https://github.com/rvirding/erlog http://erlport.org/docs/python.html (integration with Python not Python implemented in Erlang)
comment by rdtsc · 2014-07-09 · in How I Start: Elixir -
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.
comment by cgrubb · 2013-04-07 · in The Setup: Joe Armstrong -
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-erlan…
comment by evgen · 2010-12-28 · in Ask HN: Who/What will do for Prolog what Clojure has done for Lisp?