Skip to content

Latest commit

 

History

History
15 lines (10 loc) · 325 Bytes

README.md

File metadata and controls

15 lines (10 loc) · 325 Bytes
Raw
  • 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