Logtalk
Logtalk安装教程
Logtalk 是一个面对对象的逻辑编程语言，可以使用Prolog的实现作为一个后端编译器
is an objectoriented logic programming language that can use most Prolog implementations as a backend compiler.
As a multiparadigm language, Logtalk includes support for both prototypes and classes, protocols, componentbased programming through categorybased composition, eventdriven programming, and multithreading programming.
