a bug in the unify.c and introducing guile-theorem
authorStefan Israelsson Tampe <stefan.itampe@gmail.com>
Sat, 5 Nov 2011 21:46:42 +0000 (22:46 +0100)
committerStefan Israelsson Tampe <stefan.itampe@gmail.com>
Sat, 5 Nov 2011 21:46:42 +0000 (22:46 +0100)
commit6095cc13936e0340de3ecca2c59ab72ba23c5906
tree984659157ffc70f56c37f070f69b31c24486bbeb
parent8e3860aec3a92d676692ce278d016999e8aab813
a bug in the unify.c and introducing guile-theorem
12 files changed:
libguile/unify-scm.c
libguile/unify-undo-redo.c
module/language/prolog/database-code.scm
module/language/prolog/exampels/leanCop/prover.scm
module/language/prolog/guile-theorem/db.scm [new file with mode: 0644]
module/language/prolog/guile-theorem/guile-theorem.scm [new file with mode: 0644]
module/language/prolog/list-code.scm
module/language/prolog/list-ffi.scm
module/language/prolog/list.scm
module/language/prolog/macros.scm
module/language/prolog/postpone-code.scm
module/language/prolog/umatch-export.scm