Jekejeke Prolog Minlog

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

• 
  1.2.0(12002)APK

  07/04/2021599.2 KBAndroid 3.2+Что нового
  Скачать
  Что нового в версии 1.2.0

  Обновлено 07/04/2021

  Release 1.2.0 (March 21., 2021):
  What's New (for more details see website):
  - Compatibility with runtime library 1.5.0.

• 
  1.1.7(11072)APK

  07/03/2021599.2 KBAndroid 3.2+Что нового
  Скачать
  Что нового в версии 1.1.7

  Обновлено 07/03/2021

  Release 1.1.7 (January 26., 2021):
  What's New (for more details see website):
  - Module CLP(B) moved to package "boole".

• 
  1.1.2(11021)APK

  06/02/2020405.7 KBAndroid 2.2+Что нового
  Скачать
  Что нового в версии 1.1.2

  Обновлено 06/02/2020

  Release 1.1.2 (January 20., 2020):
  What's New (for more details see website):
  - Support for Android TV.

• 
  1.1.1(11010)APK

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

  Обновлено 14/11/2019

  Release 1.1.1 (November 12., 2019):
  What's New (for more details see website):
  - Module "asp": New predicates min_choose/[2,3].
  - Module "asp": New predicates random_min_choose/[2,3].

• 
  1.0.8(10080)APK

  22/07/2019399.8 KBAndroid 2.2+Что нового
  Скачать
  Что нового в версии 1.0.8

  Обновлено 22/07/2019

  Release 1.0.8 (July 06., 2019):
  What's New (for more details see website):
  - Predicate neq/2 renamed to dif/2.
  - New predicate weighted_maximum/3 in CLP(B).
  - New predicate label_maximum/2 in CLP(FD).

• 
  1.0.7(10070)APK

  11/06/2019393.1 KBAndroid 2.2+Что нового
  Скачать
  Что нового в версии 1.0.7

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

  Release 1.0.7 (May 23., 2019):
  What's New (for more details see website):

• 
  1.0.6(10060)APK

  08/04/2019389.0 KBAndroid 2.2+Что нового
  Скачать
  Что нового в версии 1.0.6

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

  Release 1.0.6 (April 01., 2019):
  What's New (for more details see website):

• 
  1.0.5(10050)APK

  20/03/2019397.1 KBAndroid 2.2+Что нового
  Скачать
  Что нового в версии 1.0.5

  Обновлено 20/03/2019

  Release 1.0.5 (February 25., 2019):
  What's New (for more details see website):

• 
  1.0.2(10020)APK

  11/12/2018395.1 KBAndroid 2.2+Что нового
  Скачать
  Что нового в версии 1.0.2

  Обновлено 11/12/2018

  Release 1.0.2 (December 09., 2018):
  What's New (for more details see website):

• 
  1.0.0(10000)APK

  26/09/2018386.2 KBAndroid 2.2+Что нового
  Скачать
  Что нового в версии 1.0.0

  Обновлено 26/09/2018

  Release 1.0.0 (September 17., 2018):
  What's New (for more details see website):
  - Zimmerman root algorithm.