The LOCO Language: Towards an Integration of Logic and Object-Oriented Programming