أرسل هذا في رسالة قصيرة: A high-order logic for object-oriented logic programming /