various improvements of the prolog tests
authorStefan Israelsson Tampe <stefan.itampe@gmail.com>
Sat, 14 Dec 2013 21:33:28 +0000 (22:33 +0100)
committerStefan Israelsson Tampe <stefan.itampe@gmail.com>
Sat, 14 Dec 2013 21:33:28 +0000 (22:33 +0100)
commit6174e50185898622e8a2b4dfe40dfdf97add04ba
treed6801c06cb516c88304e23e0f9a72d0e8b667dd1
parentc02ec4d585c577ccb709d6b2a8e4c545c8e36855
various improvements of the prolog tests
logic/guile-log/iso-prolog/inriasuite/clause
logic/guile-log/prolog/dynamic.scm
logic/guile-log/prolog/goal-transformers.scm