Did you know ... | Search Documentation: |
Pack index_util -- prolog/index_util.pl |
materialize_index(my_fact(1,0,1,1))
assumes that my_fact(?,?,?,?)
can be exhaustively enumerated.
Dir is expanded using absolute_file_name/2
if File does exist, consults File loading as extensional facts, and materializes in-memory index
note that this does not write the full index to file; just the main goal. When an index is re-used, the materialization step is still called. Thus there is only a benefit to using this when Terms contains intensional predicates.
The following predicates are exported, but not or incorrectly documented.