hircus/minikanren-scala — pull request #1 by akeep (2013-04-25 17:48:12+00:00)
Title: Updated minikanren-scala to run on minikanren 2.10.1

Hey Michel,

I have a need to do some work with miniKanren in Scala and David Nolen (who works on core.logic, miniKanren for clojure) noted that you already had this implementation for Scala. Anyway, I cloned a copy and got it working under 2.10.1. I also updated the Makefile and set it up to include the appropriate class path to make it a little easier to build.

Anyway, I'm probably going to be working some more in this in the not too distant future (including adding more of the constraint logic programming features that are on the cutting edge of the miniKanren/core.logic research).

Thanks for making this available! It is a good starting point, and gives me a tool I can already start to use.
-andy keep:)

...akefile/added dependencies

updated the makefile and added dependencies, so that making and testing
this project is largely self-contained. in the long run, it may be
nice to use SBT for this.
Makefile, check.sh, libs/clojure-1.5.1-slim.jar (new),
libs/scalacheck_2.10-1.10.2-SNAPSHOT.jar

updated source code to correspond to current Scala implementation
syntax and libraries.
src/info/hircus/kanren/{MiniKnaren,Subst}.scala
src/info/hircus/kanren/examples/SendMoreMoney.scala

src/info/hircus/kanren/tests/{Branching,Math,Subst,Unify}Specification.s
cala