shared Declare that the table shall be shared between threads. There is a completed table for a more general goal and if this is theĬase extract the answers from this table. subsumptive Instead of creating a new table for each call variant, check whether The options themselves are a comma-list of one or more Which can be applied to a single specification or a comma list of Answer subsumption or mode directedĪdditional tabling options can be provided using a term as/2, The example below prepares the predicate edge/2Īnd the non-terminal statement//1 for tabled execution.īelow is an example declaring a predicate to use tabling withĪnswer subsumption. Runtime predicate to prepare an existing predicate for tabled execution.Ĭan be used to remove the tabling instrumentation from a predicate. Is normally used as a directive, SWI-Prolog allows calling it as a (name/arity or name//arity) or head specifying tabling with answer Individual specification is either a predicate indicator Member specifying tabled execution for a specific predicate. Predicate reference :- table( :Specification) Prepare the predicates specified by Specification for tabledĮxecution.
0 Comments
Leave a Reply. |
AuthorWrite something about yourself. No need to be fancy, just an overview. ArchivesCategories |