QUDT.pl -- Utilities for handling units of measure and the conversion between different units
author
- Moritz Tenorth
- Daniel Beßler
license
- BSD
qudt_unit
(?Symbol, ?Kind, ?Multiplier, ?Offset)
is
nondet
Facts about units in the QUDT model.
Arguments:
Symbol
- SI symbol of the unit
Kind
- the quantity kind
Multiplier
- multiplication factor for conversion
Offset
- offset for conversion
qudt_conv
(+SymbolI, +SymbolO, +ValueI, -ValueO)
is
semidet
Convert a value to another unit of the same kind.
Arguments:
SymbolI
- SI unit symbol of input
SymbolO
- SI unit symbol of output
ValueI
- the input value
ValueO
- the output value