Jekejeke Prolog Runtime

Tất cả các phiên bản của Jekejeke Prolog Runtime

• 
  1.5.0(15002)APK

  Apr 7, 20211.0 MBAndroid 3.2+Tính năng mới
  Tải về
  Có gì mới trong phiên bản 1.5.0

  Cập nhật vào ngày Apr 7, 2021

  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

  Feb 19, 20211.0 MBAndroid 3.2+Tính năng mới
  Tải về
  Có gì mới trong phiên bản 1.4.7

  Cập nhật vào ngày Feb 19, 2021

  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

  Jan 5, 20211.0 MBAndroid 3.2+Tính năng mới
  Tải về
  Có gì mới trong phiên bản 1.4.6

  Cập nhật vào ngày Jan 5, 2021

  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

  Aug 15, 20201.0 MBAndroid 3.2+Tính năng mới
  Tải về
  Có gì mới trong phiên bản 1.4.5

  Cập nhật vào ngày Aug 15, 2020

  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

  Jun 22, 20201.1 MBAndroid 2.2+Tính năng mới
  Tải về
  Có gì mới trong phiên bản 1.4.4

  Cập nhật vào ngày Jun 22, 2020

  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

  Apr 13, 20201.0 MBAndroid 2.2+Tính năng mới
  Tải về
  Có gì mới trong phiên bản 1.4.3

  Cập nhật vào ngày Apr 13, 2020

  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

  Jan 22, 2020993.4 KBAndroid 2.2+Tính năng mới
  Tải về
  Có gì mới trong phiên bản 1.4.2

  Cập nhật vào ngày Jan 22, 2020

  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

  Nov 14, 2019961.5 KBAndroid 2.2+Tính năng mới
  Tải về
  Có gì mới trong phiên bản 1.4.1

  Cập nhật vào ngày Nov 14, 2019

  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

  Jul 9, 2019940.6 KBAndroid 2.2+Tính năng mới
  Tải về
  Có gì mới trong phiên bản 1.3.8

  Cập nhật vào ngày Jul 9, 2019

  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

  Jun 4, 2019943.9 KBAndroid 2.2+Tính năng mới
  Tải về
  Có gì mới trong phiên bản 1.3.7

  Cập nhật vào ngày Jun 4, 2019

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