/Kanren.swift

Logic programming in Swift

Primary LanguageSwift

Kanren.swift

Logic Programming with Swift Playgrounds

  • miniKanren

    The mother of all Kanrens.

  • µKanren

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