Add 

Releases

Please choose a topic:

Jekejeke Prolog 1.2.4 (SAT solver)
0 Comments Jan Burse, October 22. 2017, 21:25

Jekejeke Prolog 1.2.3 (type 1 and type 2 API)
0 Comments Jan Burse, October 2. 2017, 13:00

Jekejeke Prolog 1.2.2 (sum of square roots datatype)
0 Comments Jan Burse, June 26. 2017, 23:53

Jekejeke Prolog 1.2.1 (symbolic mathematic expressions)
2 Comments Jan Burse, April 26. 2017, 21:22

Jekejeke Prolog 1.1.8 (multi precision functions)
0 Comments Jan Burse, March 3. 2017, 21:03