Logtalk

Logtalk是一种面向对象的逻辑编程语言，可以使用最Prolog的实现作为一个后端编译器。作为一个多范式语言，它包括原型和类，协议（接口）的支持，基于组件的编程类为基础组成，事件驱动的编程，和高层次的多线程编程。

Logtalk is an object-oriented logic programming language that can use most Prolog implementations as a back-end compiler. As a multi-paradigm language, it includes support for both prototypes and classes, protocols (interfaces), component-based programming through category-based composition, event-driven programming, and high-level multi-threading programming.