#

kanren

Here are 2 public repositories matching this topic...

mdiep / Logician

Logic programming in Swift

swift solver constraints logic-programming kanren

Updated May 17, 2020
Swift

mdiep / Kanren.swift

Logic programming in Swift

swift logic-programming kanren

Updated Sep 10, 2016
Swift

Improve this page

Add a description, image, and links to the kanren topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the kanren topic, visit your repo's landing page and select "manage topics."