Comment Re:RDF :- predicate_calculus, !. (Score 1) 15
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
