Re: [xml-dev] The problems and the future of the web and a formal internet technology proposal
Mercury is a fine statically-typed, restricted variant of Prolog, and
even used as implementation language for Prince XML, but if you want
to push for logical programming on document data,
I wish to say that I was talking about the Mercury language as an
example, a possibility for the second technological platform, and,
here is the point which may have been unclear, I recommand that the
second platform (the remote software execution platform) give-up all
HTML/XML baggage, it should use pure software code, no page/markup
stuff of any kind. Some may have accidently been led to think that I
am pushing XML for both platforms, this is not the case. I am not
pushing for logical programming on document data as is being suggested.