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: [EMAIL PROTECTED] For additional commands, email: [EMAIL PROTECTED]
