details detail
authorStefan Israelsson Tampe <stefan.itampe@gmail.com>
Thu, 28 Nov 2013 21:09:54 +0000 (22:09 +0100)
committerStefan Israelsson Tampe <stefan.itampe@gmail.com>
Thu, 28 Nov 2013 21:09:54 +0000 (22:09 +0100)
commit0ad158d7d8efd3c24ec00509519897abe2ad4d74
tree7fa6c2e142a98982768006b80e859585f985a96e
parentb60d79eb7bb4935b30ca68689d564878f8534e92
details detail
logic/guile-log/iso-prolog/inriasuite/arith_eq
logic/guile-log/iso-prolog/inriasuite/arith_gt
logic/guile-log/iso-prolog/inriasuite/arith_gt=
logic/guile-log/iso-prolog/inriasuite/arith_lt
logic/guile-log/iso-prolog/inriasuite/arith_lt=
logic/guile-log/prolog/error.scm
logic/guile-log/prolog/goal-transformers.scm
logic/guile-log/prolog/util.scm