On 2009/07/04, at 21:05, Fatih TURKMEN wrote:
> Thank you very much for your prompt response. I didn't understand
> the reason behind True in the case of Condition mismatch of Forall.
> Is there an explanation that I can foresee or just an implementation
> issue? I am not aware if Sics says anything about this.
The meta_predicate forall/2 behaves as defined by the following clause:
forall(Generate, Test) :-
\+ (Generate, \+ Test).
Cheers,
Paulo
-----------------------------------------------------------------
Paulo Jorge Lopes de Moura, PhD
Assistant Professor
Dep. of Computer Science, University of Beira Interior
6201-001 Covilhã, Portugal
Office 3.18 Ext. 3276
Phone: +351 275319891 Fax: +351 275319899
Email: <mailto:
pmoura@...>
Home page: <
http://www.di.ubi.pt/~pmoura>
Research: <
http://logtalk.org/> Blog: <
http://blog.logtalk.org/>
-----------------------------------------------------------------
_______________________________________________
SWI-Prolog mailing list
SWI-Prolog@...
https://mailbox.iai.uni-bonn.de/mailman/listinfo.cgi/swi-prolog
