IsaLog(-): a deductive language with negation for complex-object databases with hierarchies