A short lecture on logic programming with minikanren, prolog, and some catalog.