Variables | |
| __pad41__ | |
| abolish_table_call | |
| invalidate_tables_for | |
| abolish_table_pred | |
| abolish_module_tables | |
| delete_return | |
| force_truth_value | |
| get_call | |
| get_calls | |
| get_calls_for_table | |
| get_lastnode_cs_retskel | |
| get_producer_call | |
| get_ptcp | |
| get_residual | |
| get_returns | |
| get_returns_and_dls | |
| get_returns_for_call | |
| is_incomplete | |
| sk_not | |
| table_state | |
| tfindall | |
| tnot | |
| t | not |
| t | trie_dynamic |
| t | trie_assert |
| t | trie_retract |
| t | trie_retract_nr |
| t | trie_retract_all |
| t | use_subsumptive_tabling |
| t | use_variant_tabling |
| t | ground |
| t member from | basics |
| t member from | retract |
| t member from | retract_nr |
| t member from | retractall |
| t member from t_assert from | assert |
| t member from t_assert from | abort |
| t member from t_assert from | call |
| t member from t_assert from | functor |
| t member from t_assert from | is_attv |
| t member from t_assert from tcall from | standard |
| t member from t_assert from tcall from | delete_attributes |
| t member from t_assert from tcall from | term_psc |
| t member from t_assert from tcall from term_new from | machine |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1.4.5