ROL: A Prototype for Deductive and Object-Oriented Databases (Demo)