unify occurs check bug fixed
authorStefan Israelsson Tampe <stefan.itampe@gmail.com>
Fri, 3 Jan 2014 22:13:50 +0000 (23:13 +0100)
committerStefan Israelsson Tampe <stefan.itampe@gmail.com>
Fri, 3 Jan 2014 22:13:50 +0000 (23:13 +0100)
commite28a43c13618f06739412e920b0fa8ce4d12053f
treec4e42950faf4951e58942f86450efda5c960aa7d
parentfbf207d1ac501c1938e705f4eeb43b6650e2329a
unify occurs check bug fixed
12 files changed:
logic/guile-log/functional-database.scm
logic/guile-log/iso-prolog.scm
logic/guile-log/prolog/base.scm
logic/guile-log/prolog/compile.scm
logic/guile-log/prolog/directives.scm
logic/guile-log/prolog/goal-functors.scm
logic/guile-log/prolog/goal-transformers.scm
logic/guile-log/prolog/goal.scm
logic/guile-log/prolog/run.scm
logic/guile-log/prolog/symbols.scm
logic/guile-log/prolog/var.scm
logic/guile-log/src/unify.c