Actions
Feature #35
closed
Lazy boolean operator |
Feature #35:
Lazy boolean operator |
Start date:
Due date:
% Done:
0%
Estimated time:
Platform:
Resolution:
invalid
Triage Stage:
Description
From the library source, i guess Bool x & Bool y is lazy whereas Bool x | Bool y is strict.
If confirmed then it means the natural coding of an existencial predicate and the natural coding of a universal predicate differ in efficiency.
It seems to me, as a remote consequence of De Morgan law, Bool & and Bool | should be equally efficient.
Updated by 
Updated by 
Updated by Anonymous
Actions