refining closures for unification and write_term read_term
authorStefan Israelsson Tampe <stefan.itampe@gmail.com>
Thu, 20 Mar 2014 21:40:30 +0000 (22:40 +0100)
committerStefan Israelsson Tampe <stefan.itampe@gmail.com>
Thu, 20 Mar 2014 21:40:30 +0000 (22:40 +0100)
commitc6008100c5ee18f77796412e53d49d405de02170
tree1e76ba8b84e563deeef188e23b1e1f81460373a6
parent4f962f2d7f1aa73e2c57e0116c1d64191d273edf
refining closures for unification and write_term read_term
logic/guile-log/prolog/base.scm
logic/guile-log/prolog/goal.scm
logic/guile-log/prolog/var.scm