Jekejeke Prolog 1.0.8 (hardwired multifile check)

Jan Burse, created Aug 28. 2015 Dear All, We have just uploaded the new release of Jekejeke Prolog. We were mainly improving the module system: - Style Checks During Load: We were improving the style checks during load. There are now more warnings that assure consistency of properties of multifile predicates. And the errors that a directive can emit are now more refined. - Style Checks After Load: We started implementing style checks that are verified at the end of the load of a file. There is now a warning when a predicate comes with properties but without clauses. - Hardwired Multifile Check: We are aiming at a safe module system which is not only safe during consult but also at when a program is executed. We reworked the assert/retract/clause zoo and introduced a new module experiment/ref in the runtime itself. In the same time we moved some checks which were purely style checks into the assert/retract/clause zoo itself. Happy coding! Android Appstores: Google Play Download: Runtime Library

Comments

Re: Jekejeke Prolog 1.0.8 (hardwired multifile check)

Jan Burse, created Sep 07. 2015 Hi, If you are using the Jekejeke Development environment, you can stop tracing by issuing the command nodebug. For more information see here: Default Debugger Bye

Re: Jekejeke Prolog 1.0.8 (hardwired multifile check)

smaslov, created Sep 05. 2015 Hi. Thanks for working on this nice implementation of a Prolog system. I have a question about development environment on Android: recently, you removed an item in the main menu which toggled the tracing. Now I can only start tracing by calling "trace" predicate, but how am I supposed to stop it?