Star Trek

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.

Prolog and the Price of Peace

Introducing the Prolog programming language through Quark's explanation for using the Third Rule of Acquisition to acquire peace at the lowest price.