CAN/CSA-ISO/IEC 13211-1-97 (C2010)

La collectivité internationale a décidé de publier cette norme uniquement en anglais. C'est donc sur cette base qu'on a adopté cette norme comme Norme nationale du Canada. La présente Norme nationale du Canada est équivalente à la Norme internationale ISO/IEC 13211-1:1995. 1 Domaine d'application L'ISO/IEC 1321 est conçu pour promouvoir l'applicabilité et la portabilité du texte et des données en Prolog entre divers systèmes de traitement de données. La présente partie de l'ISO/IEC 13211 spécifie : a) la représentation du texte Prolog, b) la syntaxe et les impératifs du langage Prolog, c) les règles sémantiques d'interprétation du texte Prolog, d) la représentation des données d'entrée à faire traiter par Prolog, e) la représentation des données de sortie produites par Prolog, f) les restrictions et limites imposées sur un processeur se conformant à Prolog. NOTA - Cette partie de l'ISO/IEC ne spécifie pas : a) la taille ou la complexité du texte Prolog qui dépassera la capacité de tout système spécifique de traitement de données ou du processeur de langage ou les mesures à prendre lorsque les limites correspondantes son dépassées; b) les exigences minimales d'un système de traitement de données qui est capable de supporter la mise en application d'un processeur Prolog; c) les méthodes de mise en oeuvre du processeur Prolog ou de l'ensemble de commandes utilisées pour contrôler l'environnement dans lequel le texte Prolog est préparé pour l'exécution et exécuté; d) les mécanismes selon lesquels le texte Prolog est préparé pour être utilisé par un système de traitement de données; e) la représentation typographique du texte Prolog publié pour l'interprétation par l'utilisateur; f) l'environnement de l'utilisateur (boucle principale, débogueur, système de librairie, éditeur, compilateur, etc.) d'un processeur Prolog. La présente partie de l'ISO/IEC 13211 est prévue pour être utilisée par des programmeurs et des chargés de mises en application bien formés et non en qualité de tutoriel.