Logical Foundations for DeclarativeObject-oriented Programming ?