Started working on unified term e.g. remove symbols and replace with 0 terms
authorStefan Israelsson Tampe <stefan.itampe@gmail.com>
Sat, 21 Dec 2013 22:01:43 +0000 (23:01 +0100)
committerStefan Israelsson Tampe <stefan.itampe@gmail.com>
Sat, 21 Dec 2013 22:01:43 +0000 (23:01 +0100)
commit9b519ffb1e094d4ec35772b4deacf18cb14ea479
tree8e94dd2665cb4edb9f9a834e50f1cf13aaf73797
parent9e21e86addef083b1bd172a5e2709f294a0998d9
Started working on unified term e.g. remove symbols and replace with 0 terms
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/dynamic.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/var.scm