- implicitly_convertible(?From, ?To) is semidet
- Checks if From can be implicitly converted to To.
Implicit conversion is possible if:
- From and To are the same.
- From is a direct descendant of To in the quantity hierarchy,
and the conversion does not cross a defined kind/1 barrier.
- To is a
kind_of(X) (a subtree) and From is in the subtree of X,
and the conversion does not cross a defined kind/1 barrier.
- To is a root and From is implicitly convertible
to the parent formula of To, without crossing a kind barrier.
- To has a quantity_formula/2 defined, and From
is implicitly convertible to that formula.
- explicitly_convertible(?From, ?To) is semidet
- Two quantities are explicitly convertible if they are directly related,
meaning one can be implicitly converted to the other.
Undocumented predicates
The following predicates are exported, but not or incorrectly documented.
- any_quantity(Arg1)
- quantity_dimensions(Arg1, Arg2)
- common_quantity(Arg1, Arg2, Arg3)
- same_kind(Arg1, Arg2)
- alias_or_child_quantity_parent(Arg1, Arg2)
- normalize_kind(Arg1, Arg2)
