Re: Prolog module system




Well, I think that it (the prolog module system) has to get rid of the
concept of importing.

Well, Partially.

In the given example, it should be possible to write a thing like the
following:

?- user:import(book:author/1).

and to decide that a simple call such as:

?- author(Author).

has to look in some specified modules (e.g. user).

....I need help.


.