On Fri, Nov 30, 2001 at 01:38:17PM -0500, Jason Foster wrote:
>
> Moving away from the FSM example, consider the example of generating a
> reply to a URI. Right now we declare the pipeline explicitly. We match on
> the URI and then process away. An alternative would be to consider the URI
> as a proposition and the "sitemap" as declaring a set of axioms. When a
> request comes in an inference engine determines if you can "prove" the URI
> using the axioms. Each axiom could add something to the output stream or
> to whatever it is that actions use to store their results. The the URI is
> "provable" then we send the reply to the client. If it isn't, then we send
> a 404.
I think you're on to something there, but my feeble mind can't quite
picture it. Do you have a sitemap or prolog snippet or something to
illustrate how this could be expressed?
--Jeff
>
> Jason Foster
---------------------------------------------------------------------
To unsubscribe, e-mail: cocoon-dev-unsubscribe@xml.apache.org
For additional commands, email: cocoon-dev-help@xml.apache.org
|