users-prolog
[Top][All Lists]
Advanced
[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
reply via email to
[Prev in Thread] Current Thread [Next in Thread]