Logtalk 是一個(gè)面對對象的邏輯編程語言，可以使用Prolog的實(shí)現(xiàn)作為一個(gè)后端編譯器

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.