Logtalk(逻辑编程语言)

Logtalk是一款功能强大、简便实用的面向对象的逻辑编程语言，基于分类组成的编程，具有事件驱动程序、多层次多线程编程、组件编程等功能，为用户进行逻辑编程带来了新的方法。