© Patrick Blackburn, Johan Bos & Kristina Striegnitz Lecture 6: More Lists Theory –Define append/3, a predicate for concatenating two lists, and illustrate.
© Patrick Blackburn, Johan Bos & Kristina Striegnitz Lecture 9: A closer look at terms Theory –Introduce the == predicate –Take a closer look at term structure.
The XDI Graph: An Overview of the Proposed XDI Schema XDI TC Face-to-Face Meeting OASIS Symposium April 29, 2004 Drummond Reed CTO, Cordance Corporation.