[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Debugging forall/3
From: |
Jan Burse |
Subject: |
Debugging forall/3 |
Date: |
Fri, 04 Jan 2013 05:01:38 +0100 |
User-agent: |
Mozilla/5.0 (Macintosh; Intel Mac OS X 10.8; rv:17.0) Gecko/20100101 Firefox/17.0 SeaMonkey/2.14.1 |
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?
Bye
- Debugging forall/3,
Jan Burse <=