Jekejeke Prolog Minlog - Sluneč Hlavní navigace

 Jekejeke Prolog Minlog 0.9.5

Pro hodnocení programu se prosím nejprve přihlaste

Staženo 0 ×


The extension provides the additional functionality of forward chaining and attribute variables. We also provide a CLP(FD) solver. Jekejeke Minlog is written partly in 100% Java and partly in Prolog itself. To use Jekejeke Minlog one has first to install either Jekejeke Runtime or Jekejeke Environment or both. The registration is seen in screenshot 3-6.

Since the app is still in testing phase there is not yet a full integration with the Google Play store. To run the app one has to go to and obtain a license. We hope we can resolve the inconvenience soon. The activaition is seen in screenshot 7.

The extension has been tested with earlier smartphones running Android 2 (Froyo) and with newer tablets running Android 4 (Ice Cream Sandwich). Bug reports and feature requests can be sent to . The screenshots 1-2 show the extension in action (Pythogarean Triples, Mini Isabelle Clone).

The module.apk cannot be directly embedded. One has to obtain from the web site at to be able to compile the application. The same web site can be used to download Swing versions. The website also contains the source text of those parts that are open.
Zobrazit více

Pro hodnocení programu se prosím nejprve přihlaste

0 ×

TIP: Stahují se vám programy pomalu? Změřte si rychlost svého internetového připojení.