miniKanren language basics
appendo
type inferencer
small relational interpreter
larger relational interpreter
numbers
natural language grammar
resources
scratch 1
scratch 2
scratch 3
scratch 4
scratch 5