The Aditi Deductive Database Bijan suggests looking at the The Aditi Deductive Database at least in terms of the primitives for storage