Issue 47 in teyjus: direct call and indirect call give different results
tey...@googlecode.com
Owner: ----
New issue 47 by qh.dawan: direct call and indirect call give different
results
http://code.google.com/p/teyjus/issues/detail?id=47
Teyjus version 2.0-b2, on <Linux figuier.lix.polytechnique.fr
2.6.18-194.3.1.el5xen #1 SMP Thu May 13 13:49:53 EDT 2010 x86_64 x86_64
x86_64 GNU/Linux>
===================
[bug] ?- test1.
yes
[bug] ?- test2 A T.
The answer substitution:
T = T
A = A
The remaining disagreement pairs list:
<A T, A T>
<A T, A T>
More solutions (y/n)? y
no (more) solutions
[bug] ?- pi A\ pi T\ sequentible (exists_right (seq_init (A T)) T) [A T]
(some A).
no (more) solutions
===================
The query "test1" succeeds, while a direct call to its body fails.
An other odd thing is that the flex-flex pairs for "test2" are trivial
equalities, but are still reported.
--
Quentin Heath
Attachments:
bug.mod 327 bytes
bug.sig 464 bytes
tey...@googlecode.com
Status: Duplicate
Comment #1 on issue 47 by fafo...@gmail.com: direct call and indirect call
The different problems have been simplified and split in the issues 79 and
80
--
You received this message because this project is configured to send all
issue notifications to this address.
You may adjust your notification preferences at:
https://code.google.com/hosting/settings