Kanren.swift

August 25, 2016 · View on GitHub

Logic Programming with Swift Playgrounds

  • miniKanren

    The mother of all Kanrens.

  • µKanren

    A minimal Kanren that shows how simple logic programming can be.