Text this: A high-order logic for object-oriented logic programming /