Twitter iPhone pliant OnePlus 11 PS5 Disney+ Orange Livebox Windows 11

ANN: Jekejeke Prolog 1.0.1 (module system)

Aucune réponse
Avatar
Jan Burse
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
search 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:


http://www.jekejeke.ch/idatab/doclet/prod/en/docs/05_run/10_docu/02_reference/04_examples/07_rabbits.html

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!

Jan Burse, Apr 18. 2014, 23:49

http://www.jekejeke.ch/

1 réponse

Avatar
Jan Burse
Dear All,

The Jekejeke Runtime for Android is now soon
also featured on the Nokia X App Store and the
Yandex App Store.

Best Regards