Skip to content
master
Switch branches/tags
Code

Latest commit

 

Git stats

Files

Permalink
Failed to load latest commit information.
Type
Name
Latest commit message
Commit time
src
 
 
 
 
 
 
 
 
 
 
  • Julia Implementation of MicroKanren(Yes, it says MiniKanren, I'll reach there eventually in a year.)
  • For learning purposes only.

TODO

  • The following code does not work
 fives = x -> @conde([===(x, 5)], [fives(x)])
 @test @run(5, [q], fives(q)) == [5, 5, 5, 5, 5]

Siqi Trial

Change by Colab 2

About

MiniKaren in Julia(For now, only MicroKanren)

Resources

Releases

No releases published

Packages

No packages published

Languages