GabeW: Section 5.2 discussing the need for security metadata for trust-based security
jhendler: of course, not everyone likes the Sem web:
jhendler: Dan rants: The "semantic web" is hogwash
jhendler: Dan rants: The "semantic web" is hogwash
jhendler: End of long column in Byte mentions Sem web - says someone should create software for the thing
jhendler: perhaps someone should do that :->
AaronSw: last part of "NNTP, IMAP, And The Semantic Web"
jhendler: perhaps someone should do that :->
AaronSw: last part of "NNTP, IMAP, And The Semantic Web"
GabeW: APEX - Application Exchange protocol built on BEEP
danbri: VRP encapsulated behind a minor variant of the SiRPAC v1.14 API, which may well have changed subsequently.
bijan: WAM was the first "high performance" Prolog/unification engine. Many systems are still based on a (modified) WAM.
DanC: I have been looking for an explanation of the WAM that I can grok. Here's hoping...
bijan: Eh...the Tutorial is widely lauded as making it understandable...it's still heavy going.
bijan: The Tutorial is layered, so you start with a simpler system and gradually modify it into the full blown WAM. Adding things like tail-call optimization, naturally, complicates things.
DanC: I have been looking for an explanation of the WAM that I can grok. Here's hoping...
bijan: Eh...the Tutorial is widely lauded as making it understandable...it's still heavy going.
bijan: The Tutorial is layered, so you start with a simpler system and gradually modify it into the full blown WAM. Adding things like tail-call optimization, naturally, complicates things.
em_mit: Stay tuned for future articles regarding RDF and the Semantic Web
bijan: Links to Paradigms of AI Programming and AI: A Modern Approach.
bijan: Both with extensive discussions of unification and implementing it.
bijan: PAIP takes you through some Prolog interpreters and compilers. (Written in Common Lisp.)
bijan: Both with extensive discussions of unification and implementing it.
bijan: PAIP takes you through some Prolog interpreters and compilers. (Written in Common Lisp.)
DanC_: by Harold Abelson and Gerald Jay Sussman with Julie Sussman
DanC_: explains, among other things, Rules and Unification
DanC_: it would be nice to see the swap/cwm rules engine explained relative to the terms from this widely-read source.
DanC_: actually, the How the Query System Works section is the discussion of Unification I was thinking of.
bijan: From a brief skim, they're terminology doesn't jump out as particularly standard or widespread (in the literature).
DanC_: explains, among other things, Rules and Unification
DanC_: it would be nice to see the swap/cwm rules engine explained relative to the terms from this widely-read source.
DanC_: actually, the How the Query System Works section is the discussion of Unification I was thinking of.
bijan: From a brief skim, they're terminology doesn't jump out as particularly standard or widespread (in the literature).