🏛 Stoas near [[i d argue that the beam needs a prolog y language too erlang is prolog like in syntax only]]

📖 HedgeDoc at https://doc.anagora.org/i-d-argue-that-the-beam-needs-a-prolog-y-language-too-erlang-is-prolog-like-in-syntax-only

📖 Etherpad at https://stoa.anagora.org/p/i-d-argue-that-the-beam-needs-a-prolog-y-language-too-erlang-is-prolog-like-in-syntax-only

📹 Jitsi at https://meet.jit.si/i-d-argue-that-the-beam-needs-a-prolog-y-language-too-erlang-is-prolog-like-in-syntax-only

📚 Node [[i d argue that the beam needs a prolog y language too erlang is prolog like in syntax only]]

📓 garden/enki/I-d-argue-that-the-BEAM-needs-a-prolog-y-language-too---erlang-is-prolog-like-in-syntax-only.md by @enki

I’d argue that the BEAM needs a prolog-y language too — erlang is prolog-

like in syntax only…

(I don’t think erlang should become more prolog-like. I just think a more prolog-like language would benefit from the kind of…

I’d argue that the BEAM needs a prolog-y language too — erlang is prolog-like in syntax only (lacking unification, backtracking, cuts, and other really fundamental constructions). This really screwed me up when I was first working with it — I expected functions to be reversible, expand unbound variables to the herbrand universe, etc.

(I don’t think erlang should become more prolog-like. I just think a more prolog-like language would benefit from the kind of message-passing & implicit multithreading that BEAM makes straightforward.)

By John Ohno on April 10, 2018.

[Canonical link](https://medium.com/@enkiv2/id-argue-that-the-beam-needs-a- prolog-y-language-too-erlang-is-prolog-like-in-syntax-only-ffc0d9dddbbb)

Exported from Medium on September 18, 2020.

Receiving pushes... (requires JavaScript)

Loading context... (requires JavaScript)

🔎 Full text search for [[i d argue that the beam needs a prolog y language too erlang is prolog like in syntax only]]