This built-in predicate declares all predicates that are specified by the predicate indicator, list of predicate indicators or a predicate indicator sequence as imported for the module specified by the first atomic argument. A public predicate that has been exported by one module can be called by source code in another module if it has been declared as imported (in that other module).
With import/2 it is possible to specify for another module which clauses it imports. For more information see the module system. The clause succeeds if at least a single clause indicator succeeds.
see also: check_singleton/1 discontiguous/1 dynamic/1 dynamic/2 ensure_loaded/1 import/1 import_module/1 import_module/2 include/1 initialization/1 multifile/1 private/0 private/1 public/0 public/1
| Examples | |
| import( calc, test2 / 0 ). | all predicates with the name 'test2' and no arguments are declared as imported for the module with the name 'calc' |
| import( calc, [ test2 / 0, apple / 1 ]). | all 'test2' predicates with no arguments and all 'test_apple' predicates with one argument are declared as imported for the module with the name 'calc' |