Newres Al Haider
Home
Posts
Projects
Publications
Contact
core.logic
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.
Cite
×