asserta and assertz tests passes
authorStefan Israelsson Tampe <stefan.itampe@gmail.com>
Thu, 12 Dec 2013 21:49:30 +0000 (22:49 +0100)
committerStefan Israelsson Tampe <stefan.itampe@gmail.com>
Thu, 12 Dec 2013 21:49:30 +0000 (22:49 +0100)
commitc02ec4d585c577ccb709d6b2a8e4c545c8e36855
tree4de1913cf2ee341d1862d1ca15536f1c1a6759b2
parent470a5f78558dcff9a78b6351c5fc5eef8c299539
asserta and assertz tests passes
logic/guile-log/functional-database.scm
logic/guile-log/guile-log-pre.scm
logic/guile-log/iso-prolog/inriasuite/asserta
logic/guile-log/iso-prolog/inriasuite/assertz
logic/guile-log/prolog/compile.scm
logic/guile-log/prolog/dynamic.scm
logic/guile-log/prolog/goal-transformers.scm