Jekejeke Prolog Minlog

L'extension fournit la fonctionnalité supplémentaire de chaînage avant et attribuer des variables. Nous fournissons également un CLP (FD) solveur. Jekejeke Minlog est écrit en partie en 100% Java et en partie en Prolog lui-même. Pour utiliser Jekejeke Minlog l'on a d'abord installer soit Jekejeke Runtime ou Jekejeke environnement, ou les deux. L'enregistrement est vu dans capture d'écran 3-6.Depuis l'application est encore en phase de test il n'y a pas encore une intégration complète avec le Google Play Store. Pour exécuter l'application il faut aller à http://www.jekejeke.ch/ et obtenir une licence. Nous espérons que nous pouvons résoudre les inconvénients bientôt. Le activaition est vu dans capture d'écran 7.L'extension a été testé avec les smartphones fonctionnant sous Android antérieurs 2 (Froyo) et avec des comprimés plus récents fonctionnant sous Android 4 (Sandwich à la crème glacée). Les rapports de bugs et demandes de fonctionnalités peuvent être envoyées à [email protected]~~V. Les captures d'écran 1-2 montrent l'extension dans l'action (Pythogarean Triples, Mini Isabelle Clone).Le module.apk ne peut pas être directement intégré. On doit obtenir module.zip à partir du site Web à http://www.jekejeke.ch/ pour pouvoir compiler l'application. Le même site Web peut être utilisé pour télécharger des versions Swing. Le site contient également le texte source de ces parties qui sont ouvertes.