Jekejeke Prolog 1.0.1 (module system)

Jan Burse, created Apr 18. 2014 Dear All, We have just uploaded the new release of Jekejeke Prolog. It mainly consists of new functionality for Prolog texts: - Module System I: Files are not anymore automatically searched in the class path, instead they are searched relative to the actually consulted file. For class path search new specifiers path/1 and library/1 have been introduced. The minlog extension does not automatically preload CLP(FD) anymore. It can be loaded as follows: ?- ensure_loaded(library('clpfd.px')). - Module System II: First support for modules via the directives module/1 and use_module/2. Up till now not yet selective import and no reexport/1. The new tutorial example deals with rabbits: Rabbits Example It should also be noted that meta-calls dont need a meta_predicate/1 declaration, even in the mutual recursive case, since the resolution of predicate names lazily uses the call-site information. - Module System III: The use_module/1 directive is only a synonym for ensure_loaded/1. Up till now we did not yet implement full separate compilation. If term/goal expansion is used the corresponding rules have to be loaded before they are applied. - Module System IV: The make/0 also works for modules. Up till now we did not yet implement full separate compilation. The module/2 directive allows op/3 declarations, but syntax changes are not yet propagated. Happy coding! Android Appstores: Google Play Amazon Appstore Samsung Apps Download: Runtime Library Development Environment Minlog Modul

Comments

Re: Jekejeke Prolog 1.0.1 (module system)

Jan Burse, created Jul 28. 2014 Hi, Check out this support question: Link Bye

Re: Jekejeke Prolog 1.0.1 (module system)

tejjyid, created Jul 25. 2014 I'm not clear as to whether the runtime implements an REPL? It seems not, because I can't define a predicate at the prompt. I get this: Error: Undefined or private predicate testr/1. ?-