Re: A strange question

[...]
> OK, how about this:
>
> ====etc002.n3
> []etc:supportsProofOf
> [etc:blunt <etc002.n3>;
> etc:kind <rdf-rules.n3>;
> etc:sharp <etc002.n3>] .
> ====
>
> ? My guess is it ought to either immediately succeed, or else recurse
> forever, depending on which way your code has its main loop nested :-)

it recurses, but not forever...
i.e. I guess till after some resources are exhausted
(so it comes back after 8 seconds on my PC here
and without proof)
I will think about an Euler path for that

--
Jos