Référence des directives du compilateur du Turbo Prolog :
| Nom | Description |
|---|---|
| check_cmpio | Cette directive permet de vérifier l'utilisation de modèles de flux composés. |
| check_determ | Cette directive permet d'avertir de la présence de clauses non déterministes. |
| code=nnnnn | Cette directive permet d'indiquer la taille du tableau de code en paragraphes (1 paragraphe est 16 octets). |
| diagnostics | Cette directive permet d'afficher les diagnostics du compilateur. |
| include "filename" | Cette directive permet d'inclure un fichier Turbo Prolog lors de la compilation. |
| nobreak | Cette directive permet d'indiquer si les prédicats ne doivent pas analyser le clavier pour voir si Ctrl+Break a été enfoncé. |
| nowarnings | Cette directive permet de supprimer les messages d'attentions. |
| shorttrace | Cette directive permet de tracer tous les prédicats, mais sans détruire aucune optimisation du système. |
| shorttrace p1, p2 | Cette directive permet de tracer les prédicats pour p1 et p2 uniquement. |
| trace | Cette directive permet d'afficher des informations de trace complètes en supprimant diverses optimisations effectuées par le compilateur. Par exemple, trace arrête l'élimination automatique de la récursion de la fin afin que tous les retours des appels de prédicats puissent être inspectés. |
| trace p1,p2,... | Cette directive permet d'afficher un tracer complet des prédicats pour p1 et p2 uniquement. |
| trace p1,p2,... | Cette directive permet d'afficher un tracer complet des prédicats pour p1 et p2 uniquement. |
| trail=nnn | Cette directive permet d'indiquer la taille du parcours en octets. |
Dernière mise à jour : Vendredi, le 7 juin 2019