Cetus OOLP (Prolog) Page Updated

[Richard Katz]

I've just updated the Cetus Links OO Prolog page:

http://www.cetus-links.org/oo_prolog.html

The page now includes new links for XML: Semantic Web and QL'98 Papers,
Lambda Prolog, C++ WAM implementations, Mozart, and the new Trinc
Prolog.

The introduction has been reworked somewhat and is I think a bit clearer
(and hopefully more correct).

A note to Paul, Lee and others on the declarative vs. inferential
discussion: In the introduction, I'm using inferential and also the
word "implicative" to describe logic languages generally as in:

"Prolog operates in an inferential or implicative way: what you write
are implications, and the operational flow is from one impliction to
another."

I also refer to "declarative" but in qualified way as in:

"Prolog code often has a declarative interpretation."

Numerous links have been corrected - unfortunately not including the
links on www.cs.mu.oz.au. I haven't been able to connect to all week.
If you get 404's and happen to know where the file actually is, let me
know. (Earthlink and hopefully UU.Net are attempting to work on the
connection problem. I also copied Anne Seuling at the University of
Melbourne.

Please send feedback: suggestions, complaints, and corrections to:

rich...@earthlink.net

Many thanks,

Richard Katz
rich...@earthlink.net