Permalink
Browse files

Update README

  • Loading branch information...
1 parent 619002b commit bcdde404d5f38b2abad069f69c563a47f29f0476 @webyrd webyrd committed Sep 30, 2012
Showing with 7 additions and 0 deletions.
  1. +7 −0 README
View
7 README
@@ -4,4 +4,11 @@ This is an exercise to help me learn more about types, better understand the str
Thanks to Dan Friedman for suggesting this exercise years ago, and to David Nolen for help with core.logic, core.match, and general Clojuring.
+Update -- 29 Sept 2012
+======================
+
+Seems like a few people have found this project, which stalled when I hit a giant snag--I wanted to implement the set-theoretic approach used in some of Pierce's early programs. It turns out that implementing general set operations in a pure logic system, when the domain is not already known, is an extremely difficult open problem. I might try again using constraint logic programming over finite domains (CLP(FD)), which might work for the purpose of these exercises. But full set operations (union, intersection, difference, comparison, membership, etc.) when sets can be represented as *logic variables* is a much, much harder problem.
+
+Anyway, I hope to get back to this project early next year. The project has already helped me, since I'm always looking for problems miniKanren handles poorly.
+
--Will

0 comments on commit bcdde40

Please sign in to comment.