scope.pl -- Scoping predicates.
- author
- - Daniel Beßler
- license
- - BSD
- universal_scope(-Scope) is det
- The scope of facts that are universally true.
- Arguments:
-
| Scope | - A scope dictionary. |
- current_scope(-Scope) is det
- The scope of facts that are currently true.
- Arguments:
-
| Scope | - A scope dictionary. |
- wildcard_scope(-Scope) is det
- A scope that matches any fact.
- Arguments:
-
| Scope | - A scope dictionary. |
- subscope_of(+Sub, +Sup) is det
- True if scope Sup contains all facts that are contained
in scope Sub.
- Arguments:
-
| Sub | - a scope dict. |
| Sup | - a scope dict. |
- scope_intersect(+A, +B, -Merged) is det
- Intersect two scopes. The intersected scope contains all
facts that are contained in scope A and also in scope B.
- Arguments:
-
| A | - a scope dict. |
| B | - a scope dict. |
- time_scope(?Since, ?Until, ?Scope) is semidet
-
- Arguments:
-
- time_scope_data(+Scope, ?IntervalData) is det
- Read since/until pair of temporal scope.
Note that vars are used in case since or until
not known.
- Arguments:
-
| Scope | - A scope dict. |
| IntervalData | - A list [Since,Until]. |