Imporved unify logic, function length are first compared
authorStefan Israelsson Tampe <stefan.itampe@gmail.com>
Sun, 15 Dec 2013 15:06:01 +0000 (16:06 +0100)
committerStefan Israelsson Tampe <stefan.itampe@gmail.com>
Sun, 15 Dec 2013 15:06:01 +0000 (16:06 +0100)
commit2f7d5175fed7fc7876c1244141b9f68de95bb9e6
tree8eab0261d12c8c57627c2fb1fc6189aa17332b4a
parent6174e50185898622e8a2b4dfe40dfdf97add04ba
Imporved unify logic, function length are first compared
logic/guile-log/iso-prolog/inriasuite/unify
logic/guile-log/prolog/goal-transformers.scm
logic/guile-log/src/unify.c