Le prédicat truth? permet de tester son argument et de savoir s'il correspond à l'énoncé d'une proposition de vérité «vrai». Si c'est le cas, le prédicat retourne (true), sinon (false).
La forme courante du prédicat truth? est la suivante:
(truth? <objet>)
Par exemple:
(display (truth? 25) (display (truth? (false)) (display (truth? (nothing))
⇒
(true) (false) (false)
Pour calculer la valeur de vérité de l'argument, truth? utilise le principe de compositionnalité.
Le prédicat truth? est un opérateur générique que l'on peut surcharger. Il est ainsi possible de définir les spécifications du prédicat pour n'importe quel nouveau type d'objet en définissant la méthode @truth?.
 |
 |
 |
 |
|
|
|
||||||||
