all non assq tests sucesses
authorStefan Israelsson Tampe <stefan.itampe@gmail.com>
Sun, 20 May 2012 10:45:03 +0000 (12:45 +0200)
committerStefan Israelsson Tampe <stefan.itampe@gmail.com>
Sun, 20 May 2012 10:45:03 +0000 (12:45 +0200)
commit0ca3e2dbc7c336b8ed9934566da6f1e21b43beb3
treeb77fd8ab49edb467e3228a4f8e2f89fd5cfb3642
parent755c94260a74e5a90a73b0b4f5c28e20cccca01b
all non assq tests sucesses
14 files changed:
logic/guile-log/code-load.scm
logic/guile-log/examples/einstein.scm
logic/guile-log/examples/queens.scm
logic/guile-log/src/Makefile
logic/guile-log/src/einstein.c [new file with mode: 0644]
logic/guile-log/src/einstein.scm [new file with mode: 0644]
logic/guile-log/src/logical.c
logic/guile-log/src/state.c
logic/guile-log/src/unify-undo-redo.c
logic/guile-log/src/unify.c
logic/guile-log/src/unify.h
logic/guile-log/src/util.c
logic/guile-log/umatch.scm
tests/reasoned-schemer.test