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

Twitter Jekejeke Prolog Account
Dear All, You are all invited to follow our new twitter account with raw timely information about what is cooking in our lab: Jekejeke Prolog @janburse Since twitter messages are short we mainly post updates with links from our G+ stream or this website. 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