November 2014
Intermediate to advanced
320 pages
7h 8m
English
As a developer and manager at the Mozilla Foundation, Jack is regularly exposed to new languages and technologies. He’s been writing for five years on a variety of topics, including most recently coauthoring Seven Web Frameworks in Seven Weeks [Dao14].
miniKanren is not really a language in its own right. Instead, it’s a domain-specific language for logic programming. When combined with a functional programming language with macros like Clojure, the result is a striking new programming model. Often, logic programmers find it difficult to tie their logic programs to the outside world. Embedding a logic DSL in a general purpose language solves this problem. You’ll find that this combination opens up ...
Read now
Unlock full access