LOO: An Object Oriented Logic Programming Language