a more scalable database for the prover
authorStefan Israelsson Tampe <stefan.itampe@gmail.com>
Tue, 18 Oct 2011 20:12:18 +0000 (22:12 +0200)
committerStefan Israelsson Tampe <stefan.itampe@gmail.com>
Tue, 18 Oct 2011 20:12:18 +0000 (22:12 +0200)
commit8e3860aec3a92d676692ce278d016999e8aab813
tree0ff7c7d1759e97aa7a1e7e0f2d7b684ced299f6f
parent94e7746eae57c27c75f7928d9212b4065eea3306
a more scalable database for the prover
libguile/unify-scm.c
libguile/unify.h
module/language/prolog/database-code.scm
module/language/prolog/exampels/leanCop/prover.scm
module/language/prolog/umatch-export.scm