Re: 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?

Can you do that example in one file using some syntax like
  x={ ... }
?   

      -- Sandro