Voici la liste des mots, des termes et le vocabulaire qu'on utilise couramment en langage de programmation du Turbo Prolog :
| Terme | Description |
|---|---|
| anonymous variable | Cette expression permet d'indiquer la variable "_" utilisée à la place d'une variable ordinaire lorsque les valeurs auxquelles la variable ordinaire peut devenir liée ne présentent aucun intérêt. |
| arguments | Ce mot permet d'indiquer le nom collectif pour les objets et noms de variables dans une relation. |
| atom | Ce mot permet d'indiquer une relation, impliquant éventuellement des objets ou des variables. |
| attribute | Ce mot permet d'indiquer un nombre entier positif déterminant les caractéristiques de l'affichage dans une fenêtre donnée, y compris la couleur, la vidéo clignotante / non clignotante et la vidéo normale / inverse. |
| backtracking | Ce mot permet d'indiquer la mécanisme intégré à Turbo Prolog selon lequel, lorsque l'évaluation d'un sous-objectif donné est terminée, Turbo Prolog revient au sous-objectif précédent et tente de le satisfaire de manière différente. |
| bound variable | Cette expression permet d'indiquer une variable faisant référence à une valeur connue. |
| calling a sub-goal (ou predicate) | Cette expression permet d'indiquer que Turbo Prolog tente maintenant de satisfaire un certain sous-objectif (appartenant au prédicat donné). |
| char | Ce mot permet d'indiquer un caractère arbitraire placé entre deux guillemets simples. |
| compiler directives | Cette expression permet d'indiquer des instructions au compilateur Turbo Prolog pour effectuer des actions spéciales. |
| clause | Ce mot permet d'indiquer un fait ou une règle pour un prédicat particulier, suivi d'un point (.). |
| compound goal | Cette expression permet d'indiquer un objectif contenant au moins deux sous-objectifs. |
| compound object | Cette expression permet d'indiquer un objet composé d'un foncteur et d'une liste d'objets séparés par des virgules et placés entre parenthèses. |
| current input device | Cette expression permet d'indiquer le readdevice actuellement attribué à partir duquel les prédicats standard prennent une entrée par défaut. |
| current output device | Cette expression permet d'indiquer le writedevice actuellement attribué aux prédicats standard envoyer vers la sortie par défaut. |
| cut (ou !) | Ce mot permet d'indiquer la coupe engagé par Turbo Prolog dans tous les choix faits jusqu'à présent dans l'évaluation du prédicat contenant la coupe. Une fois que la coupe a été évaluée en tant que sous-objectif, Turbo Prolog ne peut plus revenir en arrière. |
| database predicates | Cette expression permet d'indiquer le prédicats pour lesquels des faits peuvent être ajoutés ou supprimés du système Turbo Prolog lors de l'exécution. |
| dialog window | Cette expression permet d'indiquer la fenêtre système dans laquelle les objectifs externes sont donnés et les résultats de ces objectifs enregistrés. |
| domain | Ce mot permet d'indiquer les types de valeurs que les objets peuvent prendre en relation. |
| editor window | Cette expression permet d'indiquer la fenêtre où le texte actuellement dans le fichier de travail peut être édité. |
| element of a list | Cette expression permet d'indiquer un objet ou une autre liste. |
| expert system | Cette expression permet d'indiquer un système informatique imitant la capacité d'un expert dans un certain domaine (généralement très étroit). |
| external goal | Cette expression permet d'indiquer un objectif entré dans la fenêtre de dialogue par l'utilisateur et attribué au programme actuellement dans le fichier de travail. |
| fact | Ce mot permet d'indiquer une relation entre objets. En faite, «likes(john,mary)», «likes» est le nom de la relation, et john et mary sont des objets. |
| fail | Ce mot permet d'indiquer un sous-objectif que Turbo Prolog ne peut pas satisfaire. |
| field | Ce mot permet d'indiquer une séquence contiguë de positions d'affichage de caractères se produisant sur la même rangée de l'affichage à l'écran. |
| filename | Ce mot permet d'indiquer un nom de fichier symbolique commençant par une lettre minuscule et apparaissant à droite d'une (déclaration de domaine de fichier), ou l'un des noms de fichier symboliques prédéfinis printer (imprimante), screen (écran), keyboard (clavier) et com1. |
| flow pattern | Cette expression permet d'indiquer le motif formé en fonction du fait que les paramètres d'un appel de prédicat sont utilisés en entrée (c'est-à-dire connus) ou en sortie (c'est-à-dire qu'ils sont inconnus). |
| flow variant | Cette expression permet d'indiquer si un prédicat est associé à plusieurs modèles de flux différents, une implémentation interne séparée des routines correspondant à ce prédicat existera pour chaque modèle de flux. Ces différentes implémentations sont appelées variantes de flux du prédicat. |
| free variable | Cette expression permet d'indiquer une variable ne faisant actuellement référence à aucune valeur. |
| functor | Ce mot permet d'indiquer un nom pour un objet composé. |
| global | Ce mot permet d'indiquer un qualificateur utilisé pour permettre à plusieurs modules de programme d'accéder à certains domaines et prédicats. |
| goal | Ce mot permet d'indiquer la collection de sous-objectifs que Turbo Prolog tente de satisfaire. |
| goal tree | Cette expression permet d'indiquer une représentation schématique des choix possibles pouvant être faits dans l'évaluation des sous-objectifs constitutifs d'un objectif. |
| hand trace | Cette expression permet d'indiquer une trace produite par le programmeur travaillant avec un stylo et du papier plutôt que par l'ordinateur. |
| head of a list | Cette expression permet d'indiquer le premier élément d'une liste. |
| heap | Cette expression permet d'indiquer la partie de la mémoire utilisée par Turbo Prolog pour la construction de structures, l'entreposage de chaînes de caractères et l'insertion de faits pour les prédicats de base de données. |
| infix notation | Cette expression permet d'écrire des expressions arithmétiques avec les opérateurs entre les 2 valeurs ou expressions sur lesquelles elles doivent fonctionner. |
| integer | Ce mot permet d'indiquer un nombre entier compris entre 32 768 et 32 767. |
| internal goal | Cette expression permet d'indiquer un objectif contenu dans la section des objectifs d'un programme. |
| interative method | Cette expression permet d'indiquer une méthode impliquant de répéter les mêmes actions de base encore et encore jusqu'à ce que l'objectif souhaité soit atteint. |
| list | Ce mot permet d'indiquer une sorte particulière d'objet consistant en une collection d'éléments placés entre crochets et séparés par des virgules. |
| message window | Cette expression permet d'indiquer la fenêtre dans laquelle apparaissent les messages liés au fonctionnement du système Turbo Prolog. |
| module | Ce mot permet d'indiquer un programme Turbo Prolog avec des déclarations globales faisant partie d'un projet. |
| multiple predicate declarations | Cette expression permet d'indiquer tout prédicat pouvant avoir plusieurs déclarations, chacune impliquant des spécifications de domaine différentes pour le ou les paramètres (arguments) de la relation concernée. |
| name | Ce mot permet d'indiquer toute séquence contiguë de lettres, de chiffres et de caractères de soulignement commençant par une lettre minuscule ou un soulignement. |
| object | Ce mot permet d'indiquer le nom d'un élément individuel d'un certain type. |
| operator priority | Cette expression permet d'indiquer la hiérarchie déterminant l'ordre dans lequel les opérateurs sont obéis dans les expressions arithmétiques. |
| parameters | Ce mot permet d'indiquer le nom collectif pour les objets et noms de variables dans une relation. |
| pointer | Ce mot permet d'indiquer le dispositif par lequel Turbo Prolog conserve dans sa base de données un enregistrement du prochain lieu contenant des faits et des règles auxquels revenir en arrière. |
| predicate | Ce mot permet d'indiquer chaque fait ou règle Turbo Prolog appartenant à un prédicat, spécifiant le nom de la relation impliquée et les types d'objets impliqués dans la relation. |
| project | Ce mot permet d'indiquer un programme Turbo Prolog composé de plusieurs modules. |
| real | Ce mot permet d'indiquer un nombre décimal compris entre ±1.0E-307 et ±1.0E+308. |
| recursion | Ce mot permet d'indiquer la technique par laquelle une entité est définie en termes d'elle-même. |
| reference objects and domains | Cette expression permet d'indiquer si une variable non liée est transmise d'un sous-objectif à un autre, le domaine contenant les valeurs auxquelles la variable deviendra éventuellement liée doit être déclaré en tant que domaine de référence. Les éléments d'un tel domaine sont des objets de référence. |
| relation | Ce mot permet d'indiquer un nom décrivant la manière dont une collection d'objets (ou d'objets et de variables faisant référence à des objets) vont de pair. |
| repeat..fail combination | Cette expression permet d'indiquer une technique pouvant être utilisée pour éviter la récursion de la queue en utilisant plutôt le mécanisme de retour arrière de Turbo Prolog. |
| return from a sub-goal (ou predicate) | Cette expression permet d'indiquer que Turbo Prolog a maintenant fini d'évaluer un certain sous-objectif (appartenant au prédicat donné). |
| rule | Ce mot permet d'indiquer une relation entre un «fait» et une liste de sous-objectifs devant être satisfaits pour que ce «fait» soit vrai. |
| satisfying a sub-goal | Cette expression permet d'indiquer un processus par lequel Turbo Prolog choisit des valeurs pour toutes les variables non liées (si possible) de telle sorte que le sous-objectif soit vrai conformément aux clauses données pour le prédicat correspondant. |
| search principle | Cette expression permet d'indiquer que le Turbo Prolog applique l'une des 4 règles de base pour tenter d'atteindre un objectif. |
| stack | Ce mot permet d'indiquer la partie de la mémoire utilisée par Turbo Prolog pour le transfert de paramètres. |
| stand-alone programs | Cette expression permet d'indiquer des programmes pouvant être exécutés à partir de DOS indépendamment du système Turbo Prolog. |
| standard predicate | Cette expression permet d'indiquer un prédicat déjà défini en interne dans Turbo Prolog. |
| standard type (of domain) | Cette expression permet d'indiquer un domaine contenant des objets d'un seul type choisis parmi integer, real, char, string, symbol et file. |
| string | Ce mot permet d'indiquer un nombre arbitraire de caractères entourés par une paire de guillemets doubles. |
| sub-goal | Ce mot permet d'indiquer une relation, éventuellement impliquant des objets ou des variables, que Turbo Prolog doit tenter de satisfaire. |
| sub-object | Ce mot permet d'indiquer un des objets dans un objet composé. |
| symbol | Ce mot permet d'indiquer un nom commençant par une lettre minuscule. |
| tail of a list | Cette expression permet d'indiquer la liste restant lorsque le premier élément d'une liste donnée (et sa virgule de séparation) est supprimé. |
| tail recursion elimination | Cette expression permet d'indiquer une action entreprise en interne par le système Turbo Prolog afin de réduire la surcharge d'espace/temps de la récursion des règles. |
| term | Ce mot permet d'indiquer un objet de l'un des domaines de type standard, une liste, une variable ou un terme composé, c'est-à-dire un foncteur suivi d'une liste de termes entre parenthèses et séparés par des virgules. |
| token | Ce mot permet d'indiquer un nom, un nombre non signé (réel ou entier) ou un caractère autre que l'espace. |
| trace | Ce mot permet d'indiquer la production d'un rapport étape par étape sur l'exécution d'un programme montrant tous les détails pertinents. |
| trace window | Cette expression permet d'indiquer la fenêtre dans laquelle Turbo Prolog peut générer une trace de l'exécution du programme. |
| trail | Ce mot permet d'indiquer la partie de la mémoire utilisée par Turbo Prolog pour enregistrer la liaison et la suppression de la liaison des variables de référence. |
| type system | Cette expression permet d'indiquer les moyens par lesquels tous les objets d'une relation ou toutes les variables utilisées comme paramètres d'une relation sont contraints d'appartenir à des domaines correspondant à ceux utilisés dans la ou les déclarations du prédicat concerné. |
| unification | Ce mot permet d'indiquer le processus par lequel Turbo Prolog essaie de faire correspondre un sous-objectif à des faits et au côté gauche des règles afin de satisfaire ce sous-objectif ou de déterminer un ou plusieurs autres sous-objectifs nécessaires à l'évaluation du sous-objectif initial. |
| variable | Ce mot permet d'indiquer le nom commençant par une lettre majuscule pouvant être utilisé pour représenter la valeur (éventuellement inconnue) d'un objet donné. |
| variable binding(s) | Cette expression permet d'indiquer l'état libre ou lié d'une ou plusieurs variables. |
| workfile | Ce mot permet d'indiquer le fichier dans lequel un texte de programme source Turbo Prolog est tenu prêt à être compilé ou exécuté. |
Dernière mise à jour : Vendredi, le 7 juin 2019