This predicate declares all predicates that are specified by the predicate indicator, list of predicate indicators or a predicate indicator sequence as imported. 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).
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/2 import_module/1 import_module/2 include/1 initialization/1 multifile/1 private/0 private/1 public/0
| Examples | |
| import( test2 / 0 ). | all predicates with the name 'test2' and no arguments are declared as imported |
| import([ test2 / 0, apple / 1 ]). | all 'test2' predicates with no arguments and all 'test_apple' predicates with one argument are declared as imported |