This flag is module specific, so you typically set it in each of the worlds.Īlso useful may be add_import_module/3 and friends that define from where it imports undefined predicates. If the worlds are more or less arbitrary logic programs that may not define the entire interface, the Prolog flag unknown may be used to make non-existing predicate fail silently. If all worlds define a fixed set of entry points this should work fine. Except for allowing to reason about and documenting the interface, neither has any impact on how the interface functions, i.e…, you can still call any predicate defined in the module directly. Alternatively you can use public/1 to define the interface. You can make the interface more explicit by either exporting as usual but loading the module using :- use_module(File, )., i.e., not importing the interface. The interface is simply the predicates that are defined inside the module. If you use modules as worlds one typically does not export the interface.
0 Comments
Leave a Reply. |
AuthorWrite something about yourself. No need to be fancy, just an overview. ArchivesCategories |