Jekejeke Prolog 1.2.4 (SAT solver)
Dear All, We have just uploaded the new release of Jekejeke Prolog. We made a first use of the new API for attributed variables. More...
Runtime Development Minlog

Lets meet Pollux our new Search Index
Dear All, This is just to let you know that our website features a new search index. The search index is code named pollux, and its a n-gram index. More...
Runtime Development Minlog Forum Blog

Jekejeke Documentation on Issuu
This is just to let you know that the Jekejeke documentation is kept updated by us on Issuu. Issuu is an electronic magazin publishing and printing service, which has applications for mobiles and the desktop. More...
Account Orders Licenses

Server is Up Again
Dear All, This is to let you know that the new server behind is up again and running, and that we could complete our cut-over maintenance window. How well did it go? More...
Help Legal