Star Trek

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.

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