Hi, Le 4 janv. 2013 à 05:01, Jan Burse <[email protected]> a écrit :
> Hi, > > I just see (p(a), q(a), q(b) in the database): > > | ?- forall(p(a),q(a)). > 1 1 Call: forall(p(a),q(a)) ? > 2 2 Call: p(a) ? > 2 2 Exit: p(a) ? > 3 2 Call: '$not'(q(a),forall,2) ? > 4 3 Call: q(a) ? > 4 3 Exit: q(a) ? > 3 2 Fail: '$not'(q(a),forall,2) ? > 1 1 Exit: forall(p(a),q(a)) ? > > (1 ms) yes > > Is the display of the '$not' intended? How about > the '$not' surrounding the p/1 call? Frankly I'm not sure if it is "intended"… From the user point of view it is not very clear if the forall/2 internal should be "traced" or not… (or maybe only the calls to user's predicates).. I will look how other Prolog systems perform. Daniel > > Bye > > > > _______________________________________________ > Users-prolog mailing list > [email protected] > https://lists.gnu.org/mailman/listinfo/users-prolog > > -- > Ce message a ete verifie par MailScanner > pour des virus ou des polluriels et rien de > suspect n'a ete trouve. > -- Ce message a ete verifie par MailScanner pour des virus ou des polluriels et rien de suspect n'a ete trouve. _______________________________________________ Users-prolog mailing list [email protected] https://lists.gnu.org/mailman/listinfo/users-prolog
