kanren example works, remains to fix matchers
authorStefan Israelsson Tampe <stefan.itampe@gmail.com>
Mon, 9 Apr 2012 21:18:10 +0000 (23:18 +0200)
committerStefan Israelsson Tampe <stefan.itampe@gmail.com>
Mon, 9 Apr 2012 21:18:10 +0000 (23:18 +0200)
commitbe844b8114dd987a98ebaef3d69f89512d2e2813
tree0925fc163e75c263483ab3e9189f301daed8795c
parente0211eebae5699b48543fea81016835b3a8146cc
kanren example works, remains to fix matchers
logic/guile-log/interleave.scm
logic/guile-log/kanren.scm
logic/guile-log/macros.scm
logic/guile-log/umatch.scm
tests/kanren.test
tests/reasoned-schemer.test