to object-oriented logic programming language. how install