Logtalk

软件截图:
Logtalk
软件详细信息:
版本: 3.38 更新
上传日期: 4 May 20
开发: Logtalk
许可: 免费
人气: 25
尺寸: 20008 Kb

Rating: 4.0/5 (Total Votes: 4)


        Logtalk是一种面向对象的逻辑编程语言,可以将大多数Prolog实现用作后端编译器。作为一种多范式语言,Logtalk包括对原型和类,协议(接口),基于类别的组合的基于组件的编程,事件驱动编程和高级多线程编程的支持。
    

此版本中的新功能

*改进:当实际的元调用不与变量共享变量时,避免虚假丢失`meta_predicate / 1`指令警告条款头。


*改进:允许在语法规则中使用lambda表达式,而不需要`call // 1`包装器。


* FIXED:当结果目标是由于内联用户谓词定义而调用Prolog内置谓词时,编译闭包元参数的优化错误。


* FIXED:当结果目标是调用Prolog`:/ 2`控件构造时,编译闭包元参数时的优化错误。

什么是新的版本3.19:

* ADDED:支持为lint定义额外的Prolog内置谓词
使用。检查适配器文件中始终为true或false的目标
hook谓词''$ lgt_candidate_tautology_or_falsehood_goal_hook'/ 1`。


* ADDED:对象属性`module`,用于编译产生的对象
Prolog模块。


* ADDED:方便错误抛出内置方法`syntax_error / 1`和
`SYSTEM_ERROR / 0`。这些方法抛出标准的`error / 2`异常条款
并且相当于`context / 1`和`throw / 1`方法调用的序列。


* REMOVED:支持弃用的Logtalk 2.x`calls / 1`,`使用/ 1`,和
`alias / 3`指令。


* REMOVED:支持已弃用的Logtalk 2.x`:/ 1`控件构造。


* REMOVED:支持弃用的Logtalk 2.x`unknown`,`singletons`,
3.14版中的`tmpdir`和`version`编译器标志。

什么是新的

新:支持_parameter variables_提供替代
`parameter / 2`和`this / 1`内置方法来访问实体参数。
参数变量是参数实体标识符中使用的变量
以下划线开头和结尾(`_VariableName_`)。任何事件
实体子句中的参数变量与。隐式统一
实体参数。这允许添加,重新排列或者实体参数
删除后不需要对引用它们的条款进行任何更改。
参数变量仅支持在中定义的参数实体
源文件。

3.13版中的新功能

新功能:编译器支持检测对没有匹配子句的本地静态谓词的调用(也就是琐碎的失败) )。

版本3.11.1中的新功能

*改进:编译器警告和错误消息,使它们更加统一,便于编辑器和IDE解析,并避免打印可能较大的术语。


*改进:编译器不再需要调用数据库和反射谓词,其中第一个参数是使用`{} / 1`编译器旁路控制结构包装的模块限定术语。


* IMPROVED:数据库和反射谓词调用的编译器错误检查,其中第一个参数是模块限定的术语。


* IMPROVED:最小化调用`logtalk_make / 0-1`谓词触发的文件重载次数。


* FIXED:`logtalk_make / 0-1`谓词无法重新加载编译生成编译器错误的文件的情况。

版本3.11中的新内容

* CHANGED:内置谓词`current_event / 5`在使用unbound参与调用时始终实例化第一个参数。


*已添加:支持通过定义覆盖默认暂存目录
在后端Prolog初始化文件中的库别名`scratch_directory`
(假设在Logtalk加载之前加载)。经过讨论后
Douglas R. Miles支持在只读目录中安装Logtalk
并发运行多个Logtalk实例而不会发生冲突。


* ADDED:用于提供访问的`context / 1`内置上下文执行方法
到谓词调用执行上下文。主要用于提供默认值
类型检查谓词参数时的错误上下文。


* ADDED:支持打印类型`debug`和`debug(_)`的消息。这些
默认情况下,只有在打开`debug`标志时才打印消息。


* ADDED:属性`包含(文件)`到`logtalk :: loaded_file_property / 2`
谓词允许通过回溯枚举a包含的所有文件
加载文件(使用`include / 1`指令)。

版本3.10.7中的新内容

* RENAMED:`logtalk_make / 1`目标`缺少'到`check`。


*增加:支持用户定义扩展`logtalk_make / 1`目标
使用新的多文件谓词`logtalk_make_target_action / 1`的操作。


*增加:编译器lint检查重言式和虚假实体目标。
目前检查是调用Prolog统一,比较和类型
测试内置谓词。由Barry Evans建议。

版本3.10.5中的新内容

* FIXED:在调用执行时版本3.10.2中引入的回归上下文内置方法。

* FIXED:由于对辅助子句中的Prolog内置谓词和函数的调用应用可移植性检查而导致编译器失败(通常由术语扩展机制生成)。

什么是新的版本3.10.3:

*改进:为多文件谓词生成的简化代码。


* FIXED:在多文件编译中的先前版本中的回归
调用`:: / 1-2`控件构造的谓词子句。

版本3.09.1中的新内容

*已添加:支持`number_of_rules / 1`和`number_of_user_rules / 1`对象
和类别属性。


* ADDED:支持`number_of_rules / 1`谓词属性。


* ADDED:检测错误指定目标的`meta_predicate / 1`指令
元参数实际上是一个传递给`call / 2-N`元谓词的闭包
调用。感谢Arun Majumdar的报道。


*增加:在存在的情况下检测缺失的谓词范围指令
版本3.09.0中的`mode / 2`指令。

什么是新的

*已更改:现在也在用户中查找设置文件主目录
在启动目录或Logtalk用户目录中找不到时。
将`settings_file`标志设置为`restrict`现在限制了搜索
Logtalk用户目录和用户主目录的设置文件。
当团队与两者共享Logtalk安装时,此更改很有用
`LOGTALKHOME`和`LOGTALKUSER`环境变量指向
同一目录。感谢Barry Evans的建议。

版本3.08.0中的新内容

*已更改:确保在编译器错误和警告消息中文件和行信息始终是报告问题的最后一行。

版本3.07.0中的新功能

* ADDED:一个`unicode`只读标志,用于描述后端Prolog编译器
支持Unicode标准。


* ADDED:支持`++`(地面)和` - `(未绑定)参数实例化
模式(声明为前缀运算符)与`mode / 2`谓词一起使用
指示。


* ADDED:支持`mode / 2`中的`one_or_error`确定性规范
谓词指令。用于记录类型检查谓词。


*改进:检测企图在外面调用存在量化的目标
`bagof / 3`和`setof / 3`调用的范围。


* FIXED:编译`uses / 2`指令时,不要为其创建链接子句
当没有定义别名时,运行时使用`user`中的内置谓词。


* FIXED:将文件的编译失败传播到其父文件时,
确保从顶级祖先开始重新加载文件祖先
通过制造机制。


* FIXED:调用`logtalk_make / 0`或时,避免冗余文件重新加载
`logtalk_make / 1`,目标是`all`。


* FIXED:在调用时检测`^^ / 1`调用中的缺失谓词
`logtalk_make / 1`,目标`缺失'。

* FIXED:反射API中的一些谓词交叉引用的错误
信息没有记录。感谢Edward Schwartz提供的错误报告。

3.06.2版中的新功能

此版本继续开发改进开发人员工具的工作赞助Kyndi,Inc。它包括一个新版本的包装工具,用于移植普通Prolog应用程序以及改进和修复lgtunit和图表工具。它还包括新的单元测试,编译器和文档修复,以及Lean Prolog的兼容性更新。

3.04.1版中的新功能

* FIXED:编译器错误,其中通过调用`compile_aux_clauses / 1`方法进行术语扩展的谓词可能被误报为不连续。


* FIXED:从`user`伪对象内部调用`threaded_notify / 1`内置谓词,根据文档不能要求绑定参数。


* FIXED:使用`number_of_clauses / 1`或`number_of_user_clauses / 1`属性参数调用`object_property / 2`和category_property / 2`内置谓词是确定性的。

什么是版本3.03.0中的新

* ADDED:支持新的`logtalk_make / 1`目标,`missing`,列出缺失的实体和谓词。也可以使用`{?}`快捷方式。

* ADDED:支持新的`logtalk_make / 1`目标,`circular`,列出对和三对象之间的循环引用(考虑消息发送目标)。也可以使用`{@}`快捷键。

*改进:在中间Prolog文件名中附加目录哈希,以便在收集同一目录中的所有中间文件进行嵌入时避免文件名冲突。目前需要ECLiPSe,GNU
Prolog,JIProlog,Quintus Prolog,SICStus Prolog,SWI-Prolog,XSB或YAP作为后端编译器。

* FIXED:当元参数是预编译闭包或者在上下文中调用的目标的闭包时,元谓词调用优化错误
`user`伪对象。还对闭包元参数应用更严格的错误检查。

*修复:错误和警告消息中的参数对象和参数类别标识符的漂亮打印。

版本3.02.2中的新内容

* FIXED:使用`true / 0`作为lambda检查lambda表达式中的错误时出错
目标。感谢Boris Vassilev的错误报告。


* FIXED:`logtalk_make / 1`谓词将成功(打印警告后)
使用非实例化或无效参数调用时,而不是
失败。到了
使用多文件谓词生成中间Prolog文件以获得更好的结果
嵌入经验。值得注意的是,它使得增量嵌入变得更容易。


*改进:make谓词现在也重新加载文件的父文件
编译或加载错误。这可以确保在故障文件中止时
汇编加载文件中的所有文件,故障后列出的文件
修复故障文件并生成make谓词时,将编译文件
名为。

版本3.02.1中的新功能

*改进:现​​在使用多文件谓词将已加载文件的运行时表条目添加到生成的中间Prolog文件中,以获得更好的嵌入体验。值得注意的是,它使得增量嵌入变得更容易。
 *改进:make谓词现在也重新加载具有编译或加载错误的文件的父文件。这可以确保当故障文件中止加载文件中所有文件的编译时,在修复故障文件并调用make谓词时,将编译故障文件后列出的文件。

版本3.01.2中的新功能

此版本完成静态绑定实现;添加了对编译和加载谓词使用文件名的支持;修复编译器错误;功能文档更新;改进了调试,测试和记录工具;增加了一套新的单元测试,用于检查Prolog是否符合官方和事实标准;更新所有支持的文本编辑器和语法高亮显示器的语法着色;并包括ECLiPSe,JIProlog和YAP的兼容性更新。

<强>要求

兼容的Prolog编译器。

类似的软件

modttl
modttl

3 Jan 15

4W RevListSearch
4W RevListSearch

3 Jan 15

System Language
System Language

4 Jan 15

显影剂的其他软件 Logtalk

Logtalk
Logtalk

3 May 15

意见 Logtalk

评论没有发现
添加评论
打开图片!