6 ms·
The history of Erlang is also intimately related to Prolog, as explained by Joe Armstrong in this article: https://www.cse.chalmers.se/edu/year/2009/course/TDA
by nextos 6y ago
The history of Erlang is also intimately related to Prolog, as explained by Joe Armstrong in this article:
https://www.cse.chalmers.se/edu/year/2009/course/TDA381_Concurrent_Programming/ARCHIVE/VT2009/general/languages/armstrong-erlang_history.pdf https://www.cse.chalmers.se/edu/year/2009/course/TDA381_Conc...
It's quite amazing how one can implement Erlang or basically any other language prototype as a Prolog metainterpreter.
- ProfHewitt 6y agoStrict logic programs (including Prolog) do not implement concurrency, which motivated the invention of Actors. For more information see the following: "Information Security Requires Strongly-Typed Actors and Theories" https://papers.ssrn.com/abstract=3418003 https://papers.ssrn.com/abstract=3418003
- tom_mellior 6y agoThere's also this classic paper that actually contains Prolog code for (reconstructed versions of?) the first metainterpreters that became Erlang: http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.34.3972&rep=rep1&type=pdf http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.34....
- macintux 6y agoThat’s amazing, thanks. Somehow I had never stumbled upon this before.
- pjmlp 6y agoWhen I did my degree, the compiler assignment could be done in any language except for Lisp and Prolog as compiler implementation language. The rationale? It would be a child's play if we used them.