The Frontier
In the last two languages in the book, we traverse the frontiers of programming theory. We look at a new programming model that combines macros, logic, and functional programming with a general-purpose language in miniKanren. We also look at the concepts related to a powerful typing theory in Idris.
Logic, Meet World
Prolog and I have a love-hate relationship. I love the way I can focus on the problem and leave the solution to the computer. My primary problems with Prolog have mostly been related to making those ideas more practical. It’s those areas around the edges, where I’m filtering, presenting, trimming, or otherwise manipulating a stream of solutions that come up short. I also have problems extending Prolog when I move into ...
Become an O’Reilly member and get unlimited access to this title plus top books and audiobooks from O’Reilly and nearly 200 top publishers, thousands of courses curated by job role, 150+ live events each month,
and much more.
Read now
Unlock full access