使用 Command + D 收藏 苹果软件园,第一时间下载最新的苹果Mac软件游戏.

苹果Mac软件园

亲,还在为找不到Mac软件游戏而发愁?还有人说Mac软件游戏少? 欢迎来苹果软件园,上万款Mac软件游戏任你下!国内最全的Mac下载网站! (Mac用户交流QQ群大全)

Logtalk for Mac v3.27.0

苹果软件园官方微信号,求关注:
分享到:
  • 1466 次查看 240 次下载
  • 分类:开发
  • 标签:开发软件逻辑编程
  • 时间:2019年06月18日 更新 文件大小: 19.8 MB
  • 开发商:Paulo Moura 官网首页
  • 支持类型:OS X 10.3.9 or later Compatible Prolog compiler
  • 支持语言:未知

详细介绍

Logtalk for mac是一个面向对象的逻辑编程语言,可以使用最多的Prolog implementations作为后端编译器。作为一个多模式语言,它支持原型和classes,协议,通过基于分类组成的基于组件的编程。

来自Mac App Store官方介绍


Logtalk is an Open-Source, object-oriented logic programming language that extends and leverages the Prolog language with a feature set suitable for programming in-the-large.

Logtalk supports modern code encapsulation and code reuse mechanisms without compromising the declarative programming features of Prolog. Logtalk is implemented in highly portable code and can use most modern and standards compliant Prolog implementations as a back-end compiler. The Logtalk distribution features portable libraries and portable assertions, documenting, diagraming, and unit testing tools, plus extensive code editing and publishing support. It also includes extensive documentation and a large number of programming examples.

…更多…

v3.27.0版本新功能


Version 3.27.0:

Logtalk compiler and runtime
  • Added: Object and category uses/1 directive to support the declaration of object aliases. The aliased object can be a parameter variable when using the directive in a parametric object or a parametric category.
  • Added: The object argument in a uses/2 directive and the module argument in a use_module/2 directive can now be a parameter variable when using the directives in a parametric object or a parametric category.
  • Added: Compiler lint check for Logtalk built-in predicates being used as directives.
  • Fixed: Bug in the compilation of module meta-predicate calls in debug mode where the module prefix would be missing.
  • Fixed: Compiler warning and error messages when the reported issue is in the first line to print "at line 1" instead of "at or above line 1".
  • Fixed: Compilation of secondary auxiliary clauses and initialization directives that are generated during the compilation of an initial set of auxiliary clauses (e.g. when using hook pipelines).
Prolog adapter and integration files
  • Added: SWI-Prolog adapter file declarations for the recently Added tnot/1 built-in meta-predicate plus table/1 and untable/1 built-in predicates.
Documentation
  • Added: The developer tools documentation is now included in the Handbook.
  • Added: Experimental support for generating Texinfo versions of the Handbook and the APIs.
  • Improved: Handbook index cross-referencing.
  • Improved: Entity protocol navigation in API documentation when using Sphinx.
  • Fixed: Workaround Sphinx HTML builder bug where it fails to escape special characters for the sole case of the < character in hyperlinks.
Library
  • Changed: Moved most of the individual libraries to their own directories and Renamed their loader files to loader.lgt for uniformity and simplicity.
  • Changed: The now deprecated library loader files to load the individual libraries from their new directories.
  • Changed: Renamed the setp protocol length/2 predicate to size/2 for naming consistency with other libraries. Added length/2 as an alias to the size/2 predicate to the set object for backwards compatibility.
  • Moved: The heaps implementation from the types library to a separate heaps library.
  • Moved: The queues implementation from the types library to a separate queues library.
  • Moved: The sets implementation from the types library to a separate sets library.
  • Moved: The dictionary protocol and implementations from the types library to a separate dictionaries library.
  • Added: Types list(Type,Length), list(Type,Length,Min,Max), and atom(CharSet,Length) with support for generating and shrinking arbitrary values.
  • Added: Additional edge cases for numbers when using a backend Prolog compiler with bounded arithmetic. Additional edge cases for the callable type.
  • Added: Edge cases for the ground, ground(Type), types(Types), and var_or(Type) types.
  • Added: Predicate values/2 to the dictionaries library protocol.
  • Added: Port of the SWI-Prolog assoc library under the name avltree and complying with the dictionaries library protocol.
  • Fixed: Missing definition of predicate bintree::valid/1.
  • Fixed: Bug where the bintree::as_dictionary/2 predicate would return an invalid tree.
  • Fixed: Bug where the bintree::apply/4 predicate would return an invalid tree.
  • Fixed: Bug where the bintree::delete/4 predicate that would succeed when the lookup key was not found.
  • Fixed: Bug in the rbtree::map/3 predicate that could result in pairs with a wrong value.
  • Fixed: Bug in the heap/1::merge/3 predicate that resulted in failed merges.
  • Fixed: Bug in the set::delete/3 predicate that could result in a missing element in the resulting set.
  • Fixed: Bug in the interval::overlaps/2 predicate where it could succeed for non-overlapping intervals.
  • Fixed: Off-by-one bug in the definition of the statistics predicates mean_deviation/2, media_deviation/2, and average_deviation/3.
  • Fixed: Broken definition of the statistics::range/2 predicate.
  • Fixed: Typo in the definition of the arbitrary generator for character codes.
  • Fixed: Updated the arbitrary category to workaround backend Prolog compilers that either don’t support the null character or provide buggy results when calling char_code/2 with a code of zero.
  • Fixed: Missing documentation and diagram for the cloning protocol.
  • Fixed: Workaround B-Prolog atom size limitation in the arbitrary library.
  • Fixed: JIProlog implementation of the java/2::invoke/2 predicate.
Tools
  • Changed: The lgtdoc tool XML output specification removing the deprecated calls tag and updating the uses tag to include a functor tag for use with Sphinx output.
  • Improved: The lgtdoc tool generated XML documenting files now include information about uses relations.
  • Updated: The help tool to open the library documentation index when calling the library/1 predicate with a valid library name.
  • Updated: The logtalk_tester shell script to also print the tests object identifier after the test results.
  • Fixed: The lgtunit tool QuickCheck implementation now ensures that generated values for ++Type arguments are indeed ground.
  • Fixed: The lgtunit tool QuickCheck implementation check for @Type arguments to actually check that the generated values are not modified by the property being tested.
  • Fixed: The lgtdoc tool XSLT files that generate final documentation formats ignored complements category relations.
  • Fixed: The lgtdoc tool processing of mode/2 directives for non-terminals.
  • Fixed: The assertions tool to prevent accidental expansion of ::/2 goals with unbound arguments.
Tests
  • Moved: All library tests from tests/logtalk/library to the individual library directories.
  • Added: Unit tests for the assignvars, coroutining, dictionaries, gensym, heaps, hierarchies, hook_flows, intervals, java, loops, meta, meta_compiler, queues, and sets libraries.
  • Added: Unit tests for the new object and category uses/1 directive.
  • Added: Unit tests for the ISO Prolog standard arithmetic function div/2.
  • Improved: Unit tests for the statistics library.
  • Improved: Unit tests for the forward/1 built-in method.
Examples
  • Renamed: The assignvars, expecteds, java, logging, and optionals are Renamed to, respectively, assign_parameters, missing_data, jpl, logs, and books.
  • Moved: The redis example, which only contains tests, to the tests/logtalk/library/redis directory.
  • Added: Simple example, object_aliases, illustrating the use of object aliases.
  • Updated: The errors example to illustrate warnings and errors when declaring object aliases.
IDEs, text editors, and syntax highlighters support
  • Updated: Syntax highlighting test files for the new uses/1 directive.

…更多…

相关截图 图片数: 3 张(点击图片查看大图)

  • Logtalk for Mac
  • Logtalk for Mac
  • Logtalk for Mac

下载列表 文件数: 18 文件大小: 19.8 MB举报

  Logtalk for Mac (链接无效或不能下载请点击反馈给我们)
文件名 版本 下载次数 上传时间 上传者 操作
0. http://logtalk.org/ 官网下载 最新 - - 官方 点击下载
1. logtalk.org 官方原版 v3.00.1 20 2015-02-25 网友共享 点击下载
2. logtalk.org 官方原版 v3.00.2 16 2015-05-27 网友共享 点击下载
3. logtalk.org 官方原版 v3.00.4 21 2015-06-24 网友共享 点击下载
4. logtalk.org 官方原版 v3.00.6 18 2015-08-04 网友共享 点击下载
5. logtalk.org 官方原版 v3.01.0 15 2015-09-18 网友共享 点击下载
6. logtalk.org 官方原版 v3.04.1 19 2016-03-20 网友共享 点击下载
7. logtalk.org 官方原版 v3.05.0 15 2016-05-17 网友共享 点击下载
8. logtalk.org 官方原版 v3.06.0 18 2016-06-13 网友共享 点击下载
9. logtalk.org 官方原版 v3.08.0 20 2016-10-17 网友共享 点击下载
10. logtalk.org 官方原版 v3.11.2 14 2017-08-28 网友共享 点击下载
11. logtalk.org 官方原版 v3.13.0 21 2017-11-28 网友共享 点击下载
12. logtalk.org 官方原版 v3.14.0 19 2018-01-08 网友共享 点击下载
13. logtalk.org 官方原版 v3.21.0 12 2018-11-07 网友共享 点击下载
14. logtalk.org 官方原版 v3.23.0 4 2019-02-01 网友共享 点击下载
15. logtalk.org 官方原版 v3.24.0 3 2019-03-02 网友共享 点击下载
16. logtalk.org 官方原版 v3.25.0 2 2019-04-02 网友共享 点击下载
17. logtalk.org 官方原版 v3.26.0 2 2019-05-08 网友共享 点击下载
18. logtalk.org 官方原版 v3.27.0 1 2019-06-18 网友共享 点击下载
苹果软件园为积极推动苹果电脑在国内的发展,倡导资源共享,软件汉化。所有下载链接均来自网友分享试用,请24小时内删除!希望大家有条件的积极支持正版.
如果你的网盘有这个App的资源,欢迎共享下载地址哦,只需要几秒钟哦有网盘资源的点击感谢分享下载地址
垃圾评论太多,防不胜防,So关闭评论,各位亲有问题直接加我微信(ieliwb)反馈吧

苹果软件园官方微信号,专为大家推送苹果相关知识百科,求关注!

小编微信号,有关Mac问题不懂的欢迎扫码咨询,知无不言言无不尽^_^

MAC开发APPS排行榜TOP200 >

MAC开发热门APPS

返回顶部
意见反馈