https://github.com/jtauber/pykanren

an attempt to implement miniKanren and microKanren in Python
https://github.com/jtauber/pykanren

Last synced: 6 days ago
JSON representation

an attempt to implement miniKanren and microKanren in Python

• Host: GitHub
• URL: https://github.com/jtauber/pykanren
• Owner: jtauber
• License: mit
• Created: 2012-08-03T07:24:42.000Z (over 12 years ago)
• Default Branch: master
• Last Pushed: 2014-07-16T03:42:59.000Z (over 10 years ago)
• Last Synced: 2024-11-01T01:32:27.840Z (13 days ago)
• Language: Python
• Homepage:
• Size: 271 KB
• Stars: 53
• Watchers: 6
• Forks: 3
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

        
pykanren

========

an attempt to implement miniKanren and microKanren in Python

I was working through the original miniKanren[1] and *The Reasoned

Schemer*, occasionally checking stuff in chapter 3 of William Byrd's PhD thesis[2],

Clojure's core.logic[3] and newer miniKanren[4]. Also helpful was Ambrose

Bonnaire-Sergeant's talk "Introduction to Logic Programming with Clojure"[5].

Now with the existence of microKanren[6][7] I'm trying my hand at implementing

that.

[1] http://kanren.cvs.sourceforge.net/kanren/kanren/mini/mk.scm  

[2] http://gradworks.umi.com/3380156.pdf  

[3] https://github.com/clojure/core.logic  

[4] https://github.com/webyrd/miniKanren  

[5] http://blip.tv/clojure/ambrose-bonnaire-sergeant-introduction-to-logic-programming-with-clojure-5936196  

[6] http://webyrd.net/scheme-2013/papers/HemannMuKanren2013.pdf  

[7] https://github.com/jasonhemann/microKanren/blob/master/microKanren.scm