What is more interesting or powerful: Curry/Mercury/Lambda-Prolog/your suggestion.
- by Bubba88
Hi! I would like to ask you about what formal system could be more interesting to implement from scratch/reverse engineer.
I've looked through some existing and rather open (open in the sense of free/open-source) projects of logical/declarative programming systems. I've decided to make up something similar in my free time, or at least to catch…