ogtalk是一种面向对象的逻辑编程语言，可以使用最Prolog的实现作为一个后端编译器。 -ogtalk is a logic of object-oriented programming language, you can use most Prolog realization as a back-end compiler.