Jekejeke Prolog Environment

Jekejeke Prolog Environment的历史版本

• 
  1.5.0(15002)APK

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

  更新于2021年04月08日

  Release 1.5.0 (March 21., 2021):
  What's New (for more details see website):
  - Runtime Library 1.5.0 integration.

• 
  1.4.7(14072)APK

  2021年03月08日1.4 MBAndroid 3.2+更新日志
  下载
  1.4.7版本更新

  更新于2021年03月08日

  Release 1.4.7 (January 26., 2021):
  What's New (for more details see website):
  - Runtime Library 1.4.7 integration.

• 
  1.4.4(14041)APK

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

  更新于2020年06月21日

  Release 1.4.4 (May 26., 2020):
  What's New (for more details see website):
  - Compatibility with new runtime release.
  - New predicate control_online/0 in module “tracker” introduced.

• 
  1.4.3(14031)APK

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

  更新于2020年04月14日

  Release 1.4.3 (April 09., 2020):
  What's New (for more details see website):
  - Compatibility with new runtime release.

• 
  1.4.2(14021)APK

  2020年01月21日1.3 MBAndroid 2.2+更新日志
  下载
  1.4.2版本更新

  更新于2020年01月21日

  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日1.3 MBAndroid 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.4.0(14000)APK

  2019年08月25日1.3 MBAndroid 2.2+更新日志
  下载
  1.4.0版本更新

  更新于2019年08月25日

  Release 1.4.0 (August 20., 2019):
  What's New (for more details see website):
  - Module library(advanced/aggregate): Parameterized Aggregate Functions
  - New Module library(advanced/tabling).
  - Debug buttons now directly advance execution.

• 
  1.3.8(13080)APK

  2019年07月08日1.3 MBAndroid 2.2+更新日志
  下载
  1.3.8版本更新

  更新于2019年07月08日

  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月01日1.3 MBAndroid 2.2+更新日志
  下载
  1.3.7版本更新

  更新于2019年06月01日

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

• 
  1.3.6(13060)APK

  2019年04月03日1.2 MBAndroid 2.2+更新日志
  下载
  1.3.6版本更新

  更新于2019年04月03日

  Release 1.3.6 (April 01., 2019):
  What's New (for more details see website):
  - Improved modules "sequence"/"aggregate".
  - Disjunction inlining.
  - New modules "store"/"base":