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

【功能特点】

　　接口与实现的分离

　　谓词指令（声明）可以包含在协议（接口）中，它可以由任何对象实现。协议是一流的实体，旁边的对象和类别。

　　参数对象

　　对象标识符可以是包含可用于参数化对象谓词的自由变量的复合项。这允许我们将谓词子句解释为提供参数对象标识符的实例化。即，使用参数对象，我们可以将任意数量的谓词与复合词相关联。

　　支持基于类和基于原型的系统

　　在同一个应用程序中，可能有基于类的层次结构（具有实例化和专门化关系）和基于原型的层次结构（具有扩展关系）。此外，诸如协议（接口）和类别（组件）等基本语言特征可以由类、实例和原型同时使用。

　　支持多个对象层次结构

　　不必局限于一个单一的、长的层次结构，它植根于一些通用对象中。

　　私有、受保护和公共继承

　　logtalk支持私人，保护，并在某种程度上类似于C++的公共遗产。此外，任何实体关系都可以使用范围关键字来限定。例如，对象可以私下实现协议，从而使所有协议声明的谓词都是私有的。

　　私有、受保护和公共对象谓词

　　设置对象谓词的范围以匹配协议设计，并让运行时系统强制执行您的选择。

　　静态和动态对象

　　对象可以是静态的，也可以是动态的。静态对象在源文件中定义，这些源文件以Prolog文件相同的方式编译和加载。动态对象可以在源文件中定义，也可以在运行时创建。

　　静态和动态对象谓词

　　任何静态对象都可以包含静态谓词和动态谓词。

　　LogTalk语法扩展标准Prolog语法

　　LogTalk使用标准的Prolog语法，并添加了一些操作符和指令来实现平滑的学习曲线。Prolog代码可以很容易地封装在对象内，很少或没有变化。此外，LogTalk可以透明地解释大多数Prolog模块作为Logice对象，以方便重用现有代码（例如库）。

　　λ表达式

　　本地支持lambda表达式，包括咖喱。

　　事件驱动程序设计

　　谓词可以在调用事件发生时隐式调用，允许最小化对象耦合的编程解决方案。此外，事件为行为反射提供支持，并且可以用于实现面向方面编程中的切入点和建议的概念。

　　基于构件的程序设计

　　谓词可以封装在类别内，可以由任何对象实际导入，而不需要任何代码复制，而不考虑对象层次结构。因此，对象可以通过类别的组合来定义，这些类别作为细粒度的代码重用单元。类别也可以扩展现有的类别。类别可以用来实现方面和混合行为，而不需要继承。类别还支持运行代码的热修补。

　　多线程编程

　　在与选定的后端Prolog编译器运行LogTalk时，可以使用高级别多线程编程，允许对象同时支持同步消息和异步消息。螺纹发动机，独立和并行，以及竞争性或并行性也得到支持。轻松地利用现代多处理器和多核计算机，而不必担心创建和销毁线程的细节，实现线程通信，或同步线程。

　　多继承多实例支持

　　LogTalk支持协议和实现的多重继承。对象可以实现多个协议，并扩展、专门化或实例化多个对象。多继承冲突可以通过LogTalk查找算法或显式地使用谓词指令来隐式解决。

　　良好性能

　　使用与编写高效PROLO代码相同的技术编译LogTalk代码。此外，LogTalk支持静态绑定和动态绑定（使用方法查找缓存），大大提高了性能。一些Prolog编译器的基准测试结果在此可用。

　　与Prolog标准紧密结合

　　LogTalk设计用于与任何Prolog语言一致或紧密遵循官方和事实Prolog标准的平滑集成。

　　兼容大多数Prolog编译器

　　通过一个最小的配置文件与特定的后端Prolog编译器进行对话，使之与几乎任何现代编译器兼容。

　　全面开发工具集

　　LogTalk分布包括制作、调试、文档化、绘图、测试、断言、剖析和移植开发工具。

【更新日志】

　　V3.17.0

　　此版本提高了动态绑定性能；

　　为检测可疑调用添加了一个新的Link标志；

　　添加了一个新的用于帮助基准性能的生成目标；

　　修复了多线程回归错误；包括对一些示例的改进和修复；

　　改进捆绑脚本；

　　提供对SWI Prolog和YAP的可移植性更新；

　　以及对文档、编译器、库、工具、示例和安装程序的其他改进和修复。