#

ukanren

Here are 3 public repositories matching this topic...

aslpavel / ukanren-rs-example

Very simple uKanren implementation, with einstien problem as unittest

logic-programming ukanren einstein-problem

Updated Jul 10, 2018
Rust

waf / Logic

uKanren in C# with a LINQ interface

linq csharp logic ukanren

Updated Dec 8, 2016
C#

mkicjn / c2kanren

A very small Lisp interpreter powerful enough to host microKanren

c lisp wip logic-programming microkanren ukanren

Updated Jan 21, 2025
Scheme

Improve this page

Add a description, image, and links to the ukanren 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 ukanren topic, visit your repo's landing page and select "manage topics."