Jekejeke Prolog Runtime

Jekejeke Prolog Runtime的历史版本

• 
  1.5.0(15002)APK

  2021年04月07日1.0 MBAndroid 3.2+更新日志
  下载
  1.5.0版本更新

  更新于2021年04月07日

  Release 1.5.0 (March 21., 2021):
  What's New (for more details see website):
  - Occurs check fresh variable heuristic.
  - var/1 indexing only for static predicates.
  - New predicates sys_rule/3 and sys_rule_ref/4.

• 
  1.4.7(14072)APK

  2021年02月20日1.0 MBAndroid 3.2+更新日志
  下载
  1.4.7版本更新

  更新于2021年02月20日

  Release 1.4.7 (January 26., 2021):
  What's New (for more details see website):
  - New occurs check flag.
  - New module "lists" predicates.
  - New closure expansion.

• 
  1.4.6(14061)APK

  2021年01月05日1.0 MBAndroid 3.2+更新日志
  下载
  1.4.6版本更新

  更新于2021年01月05日

  Release 1.4.6 (October 25., 2020):
  What's New (for more details see website):
  - Search options in absolute_file_name/3.
  - Search options in open/4.
  - Some speed-up of the Prolog text loader.

• 
  1.4.5(14051)APK

  2020年08月16日1.0 MBAndroid 3.2+更新日志
  下载
  1.4.5版本更新

  更新于2020年08月16日

  Release 1.4.5 (August 9., 2020):
  What's New (for more details see website):
  - New block operator () introduced.
  - New directive foreign_special/3 introduced.
  - New Java interface InterfacePivot inroduced.

• 
  1.4.4(14041)APK

  2020年06月22日1.1 MBAndroid 2.2+更新日志
  下载
  1.4.4版本更新

  更新于2020年06月22日

  Release 1.4.4 (May 26., 2020):
  What's New (for more details see website):
  - The predicate number_compare/3 now does deep compare.
  - There is a new comparator sort option.
  - The predicate order_by/2 now takes a sort function list.

• 
  1.4.3(14031)APK

  2020年04月14日1.0 MBAndroid 2.2+更新日志
  下载
  1.4.3版本更新

  更新于2020年04月14日

  Release 1.4.3 (April 09., 2020):
  What's New (for more details see website):
  - More evaluable functions in module "bits".
  - New module "ratio".
  - New module "approx".

• 
  1.4.2(14021)APK

  2020年01月23日993.4 KBAndroid 2.2+更新日志
  下载
  1.4.2版本更新

  更新于2020年01月23日

  Release 1.4.2 (January 20., 2020):
  What's New (for more details see website):
  - Support for Android TV.
  - Shared Tabling Prototype.
  - New Module "bytes".
  - New Module "broker".

• 
  1.4.1(14010)APK

  2019年11月14日961.5 KBAndroid 2.2+更新日志
  下载
  1.4.1版本更新

  更新于2019年11月14日

  Release 1.4.1 (November 12., 2019):
  What's New (for more details see website):
  - Disjunction inlining: Complete and no more flattening.
  - Module "sequence": New distinct/2 and order_by/2.
  - Module "tabling": New as/2 for tabling options.

• 
  1.3.8(13080)APK

  2019年07月10日940.6 KBAndroid 2.2+更新日志
  下载
  1.3.8版本更新

  更新于2019年07月10日

  Release 1.3.8 (July 06., 2019):
  What's New (for more details see website):
  - Soft cut (*->)/2 now inlined.
  - New call/1 implementation.
  - New residue variable implementation.

• 
  1.3.7(13070)APK

  2019年06月05日943.9 KBAndroid 2.2+更新日志
  下载
  1.3.7版本更新

  更新于2019年06月05日

  Release 1.3.7 (May 23., 2019):
  What's New (for more details see website):
  - Bugfixes and Improvements.
  - Dual Packages.
  - Package Airdrop.