u/bolusmjakin r/ProgrammingLanguages • Recommends
On “Is there a programming language that will blow my mind?”
Watch this video about writing meta interpreters in Prolog. link to this video
0:00 / 0:00
#prolog#meta-interpreters#homoiconicity
Prolog Meta-interpreters
The Power of Prolog
6.9K subscribers • 3 videos on Hallway
- Recommended by 3 people: 3 in engineering communities.
- Presented by Markus Triska, creator of The Power of Prolog
Advanced. Deep dive for people who know the field.
8.4K views5 years ago3 recommendations
Programming languagesComputer scienceLanguage design and type systemsComputation and complexity
An in-depth exploration of writing meta-interpreters in Prolog, leveraging its homoiconicity and simple syntax to extend the language.
Interpretation is pervasive in computer science both from a theoretical and a practical perspective. Prolog is exceptionally well suited for writing interpreters and meta-interpreters, and this is the source of its unique power. Meta-interpreters allow us to change and extend all features of Prolog, and incorporate new logic dynamically in our applications. More information: metalevel.at/acomip/Why it's here
3 people recommend thisWhat people say. Recommended as a mind-blowing demonstration of writing succinct meta-interpreters in Prolog.
Moments people linked to
u/Pzzlrrin r/ProgrammingLanguages • Recommends
On “Which language is genuinely more extensible? Lisp, Smalltalk, Forth, or Prolog?”
Paraphrasing Markus Triska
>Prolog is (1) homoiconic, (2) implicit mechanisms used in interpreters, and (3) very simple, relying on the horn clause `:-` as virtually the only language construct. And I would argue that it's the *alignment* of the features unique to Prolog that make it well suited for writing exceptionally short meta-interpreters.
u/Entaloneraliein r/ProgrammingLanguages • Recommends
On “I think I have found one of the most esoteric books, for one of the most [arguably] esoteric languages! (a very nice book about Forth, but it's not some a textbook, nor a tutorial book, it's work of art!)”
Lisp is definitely beautiful, but not a logic language nor succinct. But if you're interested in exploring the space of succinct homoiconic languages, you might appreciate Prolog, which is somewhat close to what you're talking about.
link to this video