Thank you very much.
My Prolog implementation is still buggy. I am rewriting carefully by test code.
sym_num
0
sym_num
Bidirectional calculation is now possible.
It is a small interpreter of about 1000 lines.
Everyone, please enjoy remodeling as you like.
It is BSD license.
Example:
mix prolog
Compiling 1 file (.ex)
Prolog in Elixir
?- assert(append(, Xs, Xs)).
true
?- assert((append([X | Ls], Ys, [X | Zs]) :- append(Ls, Ys, Zs))).
true
?- append(X,Y,[1,2,3]).
Y = [1,2,3]
X = ;
Y = [2,3]
X = [1];
Y = [3]
X = [1,2];
Y =
X = [1,2,3];
false
?-halt.
goodbye
1
sym_num
I wrote a brief introduction.
https://medium.com/@kenichisasagawa/prolog-in-elixir-classical-ai-programming-language-2f959cb4fa87
5
sym_num
I started the next related project.
https://medium.com/@kenichisasagawa/elixir-fusion-of-logic-and-functional-programming-9be7966400d
2
sym_num
sym_num
I am also trying to implement the parallel logic language GHC (guarded Horn Clause) by Elixir.
https://github.com/sasagawa888/Elxghc
1
rvirding
Creator of Erlang
Try looking at FCP (Flat Concurrent Prolog) which is really interesting. Or Parlog or Strand for that matter. We once did an implementation of Erlang in Strand but found that were something that wouldn’t work properly.
3
sym_num
JohnSmall
This is very interesting. I used to do Prolog way back in the 1980’s and loved it. But the language was used for things (AI) where better things are now possible.
Where Prolog shines is in the ability to state the intention of the code in just a few lines. I’m looking at this for a sharded UTXO blockchain project. We want to get away from the impenetrable Bitcoin script to have something more expressive than BTC script, but not as complex as Solidity. The declarative paradigm seems perfect for short smart contracts in cryptocurrencies.
The combination of Prolog and Elixir seems ideal for that use case.
I’ll be reading your Github repos closely to learn what I can.
John Small
4