Previous topic  Top  Next topic  Print this Topic

Ignore Imports: ignoreImports


The query option ignoreImports allows you to run a query without the import rules. Import rules normally map facts and rules from the imported module into the importing module.


Ontology m1:

:- module = m1.


Second Ontology:

:- module = _defaultModule.

:- import m1.


The query

?- B[?P *=> ?R]@_defaultModule.

returns one result (P=name, R=string).

But the query

@{q1, options[ignoreImports]} ?- B[?P *=> ?R].

returns no result.