improving database, postpone, state-storage, prover
authorStefan Israelsson Tampe <stefan.itampe@gmail.com>
Wed, 28 Sep 2011 16:35:42 +0000 (18:35 +0200)
committerStefan Israelsson Tampe <stefan.itampe@gmail.com>
Wed, 28 Sep 2011 16:35:42 +0000 (18:35 +0200)
commit9d5e082bcb6a8c15d8e466dd48032277cf516a43
treed077f23c715dfbc6173f92074f1845edc6a77a83
parent64fce56efbf3746d441c7ca49ddf6e484bc68241
improving database, postpone, state-storage, prover
libguile/unify-scm.c
libguile/unify-undo-redo.c
module/language/prolog/database-code.scm [new file with mode: 0644]
module/language/prolog/database-ffi.scm [new file with mode: 0644]
module/language/prolog/database.scm
module/language/prolog/exampels/leanCop/dir/leancop21_swi.pl
module/language/prolog/exampels/leanCop/dir/pr2scm.sh
module/language/prolog/exampels/leanCop/prover.scm
module/language/prolog/macros.scm
module/language/prolog/postpone-code.scm