1
Download Prolog III - Colmerauer, Alain
Transcript
Utilisation de Prolog III sur Macintosh Trace : Bascule de la trace (activation ou désactivation). Quit : Abandon de la session Prolog III (retour au finder). Il est possible de taper la première lettre du bouton choisi au lieu de le cliquer. Les touches ENTER et retour chariot correspondent au bouton par défaut Continue. Il est également possible de taper un des chiffres de 0 à 3, indiquant le niveau de trace (0 si pas de trace, 2 si on désire la trace “ordinaire”). On se référera à la primitive trace pour plus de détails. Il est à noter que la récupération de mémoire n'est pas interruptible. 3 . Spécificités de Prolog III Macintosh Valeurs extrêmes des constantes arithmétiques 1. Les nombres entiers ne sont limités que par la taille de la mémoire de votre ordinateur, et la restriction suivante : le nombre de mots de quatre octets requis pour représenter l'entier en question doit être inférieur à 16 777 215 (cela fait un entier vraiment très grand !). 2. Les nombres flottants sont implémentés avec le type numérique extended, conformément à la norme IEEE 754. Codé sur 80 bits, c'est un type plus précis que les double classiques sur 64 bits. 1008 © PrologIA A!ociation Prolog HERITAGE
