Variables | |
| To use some of these | predicates |
| To use some of these the indicated HiLog predicates must be defined in | usermod |
| To use some of these the indicated HiLog predicates must be defined in | bagReduce |
| To use some of these the indicated HiLog predicates must be defined in | bagPO |
| To use some of these the indicated HiLog predicates must be defined in | bagPO1 |
| To use some of these the indicated HiLog predicates must be defined in | bagOf |
| To use some of these the indicated HiLog predicates must be defined in to use | bagMin |
| To use some of these the indicated HiLog predicates must be defined in to use must define in | Y |
| To use some of these the indicated HiLog predicates must be defined in to use must define in | Z |
| to use | bagMax |
| to use | bagSum |
| to use must define in to use | bagCount |
| to use must define in to use must define in | _Y |
| to use must define in to use must define in to use | bagAvg |
| to use must define in to use must define in to use must define in | X |
| to use must define in to use must define in to use must define in C1 is C | filterPO |
| to use must define in to use must define in to use must define in C1 is C | filterReduce |
| to use must define in to use must define in to use must define in C1 is C | filterReduce1 |
| to use must define in to use must define in to use must define in C1 is C this predicate only for demonstration purposes | table_once |
| to use must define in to use must define in to use must define in C1 is C this predicate only for demonstration purposes | apply |
| to use must define in to use must define in to use must define in C1 is C this predicate only for demonstration purposes apply from | call |
| to use must define in to use must define in to use must define in C1 is C this predicate only for demonstration purposes apply from | call_c |
| to use must define in to use must define in to use must define in C1 is C this predicate only for demonstration purposes apply from | atom |
| to use must define in to use must define in to use must define in C1 is C this predicate only for demonstration purposes apply from | functor |
| to use must define in to use must define in to use must define in C1 is C this predicate only for demonstration purposes apply from | copy_term |
| to use must define in to use must define in to use must define in C1 is C this predicate only for demonstration purposes apply from append from | basics |
| to use must define in to use must define in to use must define in C1 is C this predicate only for demonstration purposes apply from append from | findall |
| to use must define in to use must define in to use must define in C1 is C this predicate only for demonstration purposes apply from append from | bagof |
| to use must define in to use must define in to use must define in C1 is C this predicate only for demonstration purposes apply from append from excess_vars from | setof |
| to use must define in to use must define in to use must define in C1 is C this predicate only for demonstration purposes apply from append from excess_vars from from | get_producer_call |
| to use must define in to use must define in to use must define in C1 is C this predicate only for demonstration purposes apply from append from excess_vars from from | get_ptcp |
| to use must define in to use must define in to use must define in C1 is C this predicate only for demonstration purposes apply from append from excess_vars from from | get_returns |
| to use must define in to use must define in to use must define in C1 is C this predicate only for demonstration purposes apply from append from excess_vars from from | is_incomplete |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Initial value: |
1.4.5