logic programming

To Curry in League of Legends

A quick tutorial on the functional logic programming language Curry using an example League of Legends champion recommending system.

Darmok in core.logic

A tutorial to logic programming using miniKanren and core.logic by representing and using the allegory based Tamarian language from the Start Trek Next-Generation Episode Darmok.