semantics of log:notIncludes and log:conclusion?

The attached send cwm.py into an infinite loop.

Is that sorta by design?

Should we consider well-founded semantics or stable semantics?
Or would something constructive/intuitionistic help?

References...

http://www.polleres.net/publications/poll-etal-2006b.pdf

1. V. Lifschitz, L. R. Tang, and H. Turner. Nested expressions in logic 
programs. Annals of Mathematics and Artificial Intelligence, 
25(3-4):369–389, 1999.

2. D. Pearce. Equilibrium logic. Annals of Mathematics and Artificial 
Intelligence, 2006. in press, online version available at 
http://dx.doi.org/10.1007/s10472-006-9028-z.

-- 
Dan Connolly, W3C http://www.w3.org/People/Connolly/