4 ms·
>The only part that scares me a bit is the type system for what I would be afraid to have to recreate a Prolog or something similar Creating the core of a Prol
by floxy 4y ago
>The only part that scares me a bit is the type system for what I would be afraid to have to recreate a Prolog or something similar
Creating the core of a Prolog interpreter isn't much work. It is like a 30 line program in Haskell. See chapter 4 of "The Art of Prolog":
https://mitpress.mit.edu/books/art-prolog-second-edition https://mitpress.mit.edu/books/art-prolog-second-edition
...there is a PDF available under the "Open Access" tab.
- nudpiedo 4y agothank you, I appreciate the link sharing as this will very likely end up being the shortest path.