Le type identitaire trivalent permet de résoudre les problème de logique ternaire (à 3 valeurs).
Une donnée du type trivalent peut avoir 3 états: K+, K- et K= qui correspondent respectivement à vrai, faux et à un troisième état inconnu ou indéterminé.
La logique adopté par le langage est celle de Kleene.
Les trivalents sont aussi utilisés par certaines opérations comme compare-to pour déterminer le résultat des prédicats <?, >?, <=? et >=?. Ainsi, par exemple, (compare-to a b) retourne K+ si a est plus grand que b, K- si a est plus petit que b et K= si a est une valeur égale à b.
 |
 |
 |
 |
|
|
|
||||||||
