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: |