3 ms·

Mark Tarver's Shen language embeds a complete implementation of Prolog: https://shenlanguage.org/SD/Prolog.html https://shenlanguage.org/SD/Prolog.html And th

Mark Tarver's Shen language embeds a complete implementation of Prolog: https://shenlanguage.org/SD/Prolog.html https://shenlanguage.org/SD/Prolog.html And the chapter from The Book of Shen: https://shenlanguage.org/TBoS/tbos_359.html https://shenlanguage.org/TBoS/tbos_359.html Tarver has written two books with accompanying software on logic programming: Logic, Proof and Computation: https://shenlanguage.org/lpc.html https://shenlanguage.org/lpc.html Programming the Logic Lab: https://shenlanguage.org/logiclab.html https://shenlanguage.org/logiclab.html

eggy 3y ago
I love Shen, but I have not taken it on. I subscribed to the professional version for half a year, and I like the amount of implementations of Shen in other PLs. The pattern matching, optional type checking, and the built-in Prolog is incredible. It's a case where the creator has been shunned by the wider community, partially due to his diplomacy, but he is brilliant, and the uptake has been niche and bleeding edge. If it had a Mozilla behind it or other, I think it would have been more universally appealing. @deech's talks, though older now, are fantastic and relevant[1,2]. But take what I have to say with a grain a salt: I am an avid APL/J/BQN fanboy ;) [1] https://www.youtube.com/watch?v=lMcRBdSdO_U https://www.youtube.com/watch?v=lMcRBdSdO_U [2] https://www.youtube.com/watch?v=BUJNyHAeAc8 https://www.youtube.com/watch?v=BUJNyHAeAc8