Jekejeke Prolog Runtime

Все версии Jekejeke Prolog Runtime

• 
  1.5.0(15002)APK

  07/04/20211.0 MBAndroid 3.2+Что нового
  Скачать
  Что нового в версии 1.5.0

  Обновлено 07/04/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

  19/02/20211.0 MBAndroid 3.2+Что нового
  Скачать
  Что нового в версии 1.4.7

  Обновлено 19/02/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

  05/01/20211.0 MBAndroid 3.2+Что нового
  Скачать
  Что нового в версии 1.4.6

  Обновлено 05/01/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

  15/08/20201.0 MBAndroid 3.2+Что нового
  Скачать
  Что нового в версии 1.4.5

  Обновлено 15/08/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

  22/06/20201.1 MBAndroid 2.2+Что нового
  Скачать
  Что нового в версии 1.4.4

  Обновлено 22/06/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

  13/04/20201.0 MBAndroid 2.2+Что нового
  Скачать
  Что нового в версии 1.4.3

  Обновлено 13/04/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

  22/01/2020993.4 KBAndroid 2.2+Что нового
  Скачать
  Что нового в версии 1.4.2

  Обновлено 22/01/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

  14/11/2019961.5 KBAndroid 2.2+Что нового
  Скачать
  Что нового в версии 1.4.1

  Обновлено 14/11/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

  09/07/2019940.6 KBAndroid 2.2+Что нового
  Скачать
  Что нового в версии 1.3.8

  Обновлено 09/07/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

  04/06/2019943.9 KBAndroid 2.2+Что нового
  Скачать
  Что нового в версии 1.3.7

  Обновлено 04/06/2019

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