Re:RDF :- predicate_calculus, !. (Score 1)

The RDF academics are are knee-deep in predicate (and other) calculus stuff (check out the model & theory doc in the specs), but engineers are also dipping their toes in. Re. Prolog + RDF, Bijan Parsia's written about this at xml.com : http://www.xml.com/pub/au/93