Logtalk 是一个面对对象的逻辑编程语言，可以使用Prolog的实现作为一个后端编译器

is an object-oriented logic programming language that can use most Prolog implementations as a back-end compiler.

As a multi-paradigm language, Logtalk includes support for both prototypes and classes, protocols, component-based programming through category-based composition, event-driven programming, and multi-threading programming.