[Agda] ANN: Jekejeke Prolog 0.9.5 (runtime console, google play)

Jan Burse janburse at fastmail.fm
Sun Sep 2 13:12:42 CEST 2012

Dear All,

This is an out of band release of Jekejeke Prolog. It is
mainly an infrastructure update.

The highlights are:

- Runtime Library (free) I: The Swing version has now a console.

- Runtime Library (free) II: The Android version has now a console.

- Runtime Library (free) III: The Android version is now also
   available on Google Play. But the Development Environment and
   the Minlog Module are currently not on Google Play.

- Minlog Module (Chart Parser, CLP(FD)): There is now an Android version.

Happy coding!

Jan Burse
Sep 2. 2012

More information about the Agda mailing list