Title: An object-oriented logic-based language for queries and updates