Référence des prédicats prédéfinit standard du Turbo Prolog :
| Nom | Description |
|---|---|
| ASSERTA | Ce prédicat permet d'insérer un (fait) dans la base de données RAM avant toute autre clause entreposée pour le prédicat correspondant. Le (fait) doit être un terme appartenant au domaine dbasedom, généré en interne. |
| ASSERTZ | Ce prédicat permet d'insérer un (fait) dans la base de données RAM après toutes les autres clauses entreposées pour le prédicat correspondant. Le (fait) doit être un terme appartenant au domaine dbasedom, généré en interne. |
| ATTRIBUTE | Ce prédicat permet de fixer la valeur d'attribut par défaut pour toutes les positions d'écran ou de lire la valeur d'attribut par défaut actuelle pour toutes les positions d'écran. |
| BACK | Ce prédicat permet d'indiquer combien d'étapes la tortue doit déplacer de sa position actuelle le long de sa direction actuelle. back échoue si le mouvement mène à une position en dehors de l'écran (l'écran représente 32 000 pas horizontaux et 32 000 pas verticaux). La position actuelle de la tortue ne sera mise à jour que si le retour est réussi. |
| BEEP | Ce prédicat permet d'émettre un bip sonore vers le haut-parleur de l'ordinateur. |
| BIOS | Ce prédicat permet de provoque une interruption BIOS InterruptNo avec les valeurs de registre indiquées dans le paramètre RegsIn et lie le paramètre RegsOut aux valeurs de registre après l'exécution de l'interruption. RegsIn et RegsOut appartiennent tous deux au domaine interne regdom, défini comme suit: regdom = reg(AX,BX,CX,DX,SI,DI,DS,ES) où AX, BX, CX, DX, SI, DI, DS et ES sont tous de type domaine entier. |
| BOUND | Ce prédicat permet d'indiquer une réussite si Variable est liée. |
| CHAR_INT | Ce prédicat permet de lier IntParam au code ASCII décimal pour CharParam, de lier CharParam au caractère ayant le code ASCII décimal spécifié par IntParam ou de réussir si IntParam est lié au code ASCII décimal pour CharParam. |
| CLEARWINDOW | Ce prédicat permet d'effacer la fenêtre de texte actuellement active en la remplissant de la couleur d'arrière-plan. |
| CLOSEFILE | Ce prédicat permet de fermer le fichier nommé. closefile réussit même si le fichier nommé n'a pas été ouvert. |
| CONSULT | Ce prédicat ajoute un fichier texte (créé, par exemple, en enregistrant une base de données avec le prédicat de sauvegarde) dans la base de données actuelle. Le prédicat réussit en chargeant les faits (décrivant les prédicats de base de données déclarés) du fichier DOSFileName en mémoire. Si le fichier contient des erreurs de syntaxe, la consultation échoue. |
| CURSOR | Ce prédicat permet de déplacer le curseur à la position indiquée (par rapport au coin supérieur gauche de la ligne 0, colonne 0) dans la fenêtre actuellement active ou de lier la ligne et la colonne à la position actuelle du curseur. |
| CURSORFORM | Ce prédicat permet de définir la hauteur et la position verticale du curseur dans une zone d'affichage à un caractère. Chaque caractère occupe 14 lignes de balayage de l'écran. Startline et Endline doivent donc être liées à des valeurs comprises entre 1 et 14 inclus. |
| DATE | Ce prédicat permet de lire la date sur l'horloge interne de l'ordinateur ou de définir la date utilisée par l'horloge interne de l'ordinateur. |
| DELETEFILE | Ce prédicat permet de supprimer le fichier DosFileName du disque actuellement actif. |
| DIR | Ce prédicat permet d'appeler la commande du répertoire de fichiers Turbo Prolog. PathName et FileSpecString indiqués définissent les fichiers à afficher dans la fenêtre du répertoire. L'utilisateur peut sélectionner un nom (renvoyé dans DosFileName) à l'aide des touches de curseur, suivi de Enter lorsque le nom de fichier souhaité est mis en surbrillance. dir échoue s'il est abandonné avec la touche Esc. |
| DISK | Ce prédicat permet de fixer l'unité de disque et le chemin par défaut actuels ou de retourner l'unité de disque et le chemin par défaut actuels. |
| DISPLAY | Ce prédicat permet d'afficher le contenu de String dans la fenêtre actuellement active. Le contenu peut être inspecté (mais pas modifié) à l'aide des touches de contrôle du curseur de l'éditeur. |
| DOT | Ce prédicat permet, à condition que l'écran soit initialisé en mode graphique, de placer un point au point déterminé par les valeurs de Row et Column, dans la couleur spécifiée. Les coordonnées sont des entiers compris entre 0 et 31999 et sont indépendantes du mode d'écran actuel. Lorsqu'il est utilisé avec Color en tant que paramètre libre, dot lit la valeur de couleur au point déterminé par Row et Column. |
| EDIT | Ce prédicat appelle l'éditeur Turbo Prolog. InputString peut ensuite être édité dans la fenêtre actuellement active pour former OutputString. |
| EDITMSG | Ce prédicat appelle l'éditeur Turbo Prolog. InStr peut ensuite être édité dans la fenêtre actuellement active pour former OutStr. Deux textes sont insérés dans l'en-tête donné par LeftHeader et RightHeader. Le curseur est situé sur le caractère Position-ème dans InStr et le message indiqué est affiché en bas de la fenêtre. HelpFileName est le nom du fichier chargé lorsque la touche d'aide F1 est enfoncée. La valeur renvoyée dans Code indique comment l'édition s'est terminée (Code = 0 si F10 est terminé et Code = 1 si abandonné par Esc). |
| EOF | Ce prédicat permet de vérifie si le pointeur sur la position actuelle du fichier (voir filepos) pointe vers la fin du fichier. Si tel est le cas, eof réussit, sinon, il échoue. |
| EXISTFILE | Ce prédicat réussit si le fichier DosFileName apparaît dans le répertoire du disque actuellement actif (voir le prédicat disk). |
| EXIT | Ce prédicat permet d'arrêter l'exécution du programme et renvoie le contrôle au système de menus Turbo Prolog. |
| FAIL | Ce prédicat permet de forcer l'échec d'un prédicat et, par conséquent, le retour en arrière. |
| FIELD_ATTR | Ce prédicat permet de fixer l'attribut du champ. Si Row et Column font référence à une position dans la fenêtre actuellement active (voir makewindow et shiftwindow) et qu'un champ de la longueur donnée commençant à cette position peut être contenu dans cette fenêtre, toutes les positions de cette zone reçoivent l'attribut Attr. L'attribut du champ occupant les caractères de longueur à la position Row, Column de la fenêtre actuellement active est lié à Attr. Le champ spécifié doit tenir dans cette fenêtre. |
| FIELD_STR | Ce prédicat permet de fixer la chaîne de caractères du champ. Si Row et Column font référence à une position dans la fenêtre active (voir makewindow et shiftwindow) et qu'un champ de la longueur donnée commençant à cette position peut être contenu dans cette fenêtre, la valeur à laquelle String fait référence sera écrite à cette position, sous réserve de ces conditions: Si String est lié à une valeur contenant plus de caractères que Length ne l'indique, seuls les premiers caractères de Length sont écrits. Si String est plus court que Length, le reste du champ sera rempli d'espaces vides. Le texte occupant le champ de caractères Length à la position Row, Column de la fenêtre actuellement active est lu dans String. Le champ spécifié doit tenir dans cette fenêtre. |
| FILEPOS | Ce prédicat permet de sélectionner la position dans le fichier nommé où une valeur doit être écrite en écriture. Les positions sont calculées en fonction du type d'élément entreposé dans le fichier et de la valeur de Mode. Ainsi, si SymbolicFileName fait référence à un fichier d'octets, FilePosition et Mode sont liés à || et 0 respectivement, le prochain octet écrit dans le fichier sera à la position d'octet || (depuis le début du fichier). Sinon, il retourne la position par rapport au début du fichier où la prochaine écriture aura lieu. La lecture de la position du fichier nécessite donc que Mode = 0. |
| FILE_STR | Ce prédicat permet de lire les caractères (64 Ko maximum) du fichier nommé dans la chaîne de caractères jusqu'à une réception d'un caractère de fin de fichier (code ASCII décimal 26, normalement Ctrl+Z). |
| FINDALL | Ce prédicat permet de recueillir les valeurs du retour en arrière dans une liste. Ainsi, si (atom) est un prédicat dont les paramètres sont représentés par des noms de variable Turbo Prolog valides et que Variable est le nom de l'une des variables du prédicat, ListVariable sera lié à la liste des valeurs de cette variable ayant été obtenue. Dans le cas où le prédicat peut réussir en raison du retour en arrière. |
| FLUSH | Ce prédicat permet de forcer le contenu du tampon de fichier interne à être écrit sur le périphérique écrit en cours. Le prédicat flush est utile lorsque la sortie est dirigée vers un port série et il peut être nécessaire d'envoyer les données au port avant que la mémoire tampon ne soit saturée. (Normalement, les tampons de fichiers sont vidés automatiquement). |
| FORWARD | Ce prédicat permet d'avancer, sous réserve que l'écran soit initialisé en mode graphique, le déplacement du stylet de sa position actuelle du nombre de pas indiqué le long de son direct actuel. forward échoue si le mouvement mène à une position en dehors de l'écran (l'écran est composé de 32 000 pas horizontaux et verticaux). La position actuelle de la tortue ne sera mise à jour que si la transmission est réussie. Si le stylo est activé, forward laisse une trace dans la couleur actuelle du stylo. |
| FREE | Ce prédicat permet de réussir si la variable n'est pas liée. |
| FRONTCHAR | Ce prédicat fonctionne comme si elle était définie par l'équation «String = (la concaténation de FrontChar et RestString)» de sorte que String doit être lié ou que FrontChar et RestString doivent être liés. |
| FRONTSTR | Ce prédicat divise String1 en deux parties. StartStr contiendra les premiers caractères NumberOfChars dans String1 et String2 contiendra le reste. |
| FRONTTOKEN | Ce prédicat fonctionne comme si elle était définie par l'équation «String = (la concaténation de Token et RestString)» afin que String soit lié, soit Token et RestString doivent être liés. Ainsi, fronttoken réussit si Token est lié au premier jeton de String et RestString est lié au reste de la chaîne de caractères. |
| GRAPHICS | Ce prédicat permet d'initialiser l'écran en graphiques de résolution moyenne, haute ou très haute résolution. ModeParam sélectionne la résolution. |
| ISNAME | Ce prédicat permet de réussir si StringParam est un (nom) selon la syntaxe Turbo Prolog. |
| LEFT | Ce prédicat permet de tourner la tortue de l'angle indiqué (en degrés) vers la gauche (dans le sens inverse des aiguilles d'une montre) ou lie l'Angle à la direction actuelle de la tortue. |
| LINE | Ce prédicat permet de tracer, sous réserve que l'écran soit initialisé en mode graphique, une ligne de couleur entre les points définis par Row1, Col1 et Row2, Co12, respectivement. Les coordonnées sont des entiers allant de 0 à 31999 et sont indépendantes du mode d'écran actuel. |
| MAKEWINDOW | Ce prédicat permet de définir une zone de l'écran en tant que fenêtre. Chaque fenêtre est identifiée par un numéro (WindowNo) utilisé lors de la sélection de la fenêtre à activer. Si FrameAttr est inférieur ou supérieur à zéro, une bordure est dessinée autour de la zone définie (c'est-à-dire que la fenêtre est encadrée) et la ligne de bordure supérieure inclut le texte de l'en-tête. Une fois définie, la fenêtre est «effacée» et le curseur est déplacé vers son coin supérieur gauche. Les positions des lignes et des colonnes du coin gauche de la fenêtre, par rapport à tout l'écran, sont spécifiées par les paramètres Row et Col, respectivement, et Height et Width indiquent les dimensions de la fenêtre. Il est important que Row, Col, Height et Width soient compatibles avec la taille de l'affichage, normalement 25 lignes de 80 caractères. La taille de l'affichage peut être modifiée à l'aide du prédicat standard graphique. |
| MEMBYTE | Ce prédicat permet d'enregistrer, lorsque Byte est lié, la valeur de l'octet à l'adresse mémoire indiquée par le Segment et l'Offset (calculée sous la forme Segment * 16 + Offset) ou lorsque Byte est libre, de lire la valeur de l'octet à l'adresse mémoire indiquée par le Segment et l'Offset (calculée sous la forme Segment * 16 + Offset). |
| MEMWORD | Ce prédicat permet d'enregistrer, lorsque Word est lié, la valeur du mot à l'adresse mémoire indiquée par le Segment et l'Offset (calculée comme Segment * 16 + Offset) ou lorsque Word est libre, de lire la valeur du mot à l'adresse mémoire indiquée par Segment et Offset (calculée sous la forme Segment * 16 + Offset). (Les valeurs comprises entre 32768 et 65536 sont considérées comme des entiers négatifs). |
| NL | Ce prédicat permet de provoquer l'envoi d'une séquence de retour à la ligne et de sauts de ligne au périphérique writedevice. |
| NOT | Ce prédicat permet de réussir si (atom) représente un objectif échouant lorsqu'il est évalué. |
| OPENAPPEND | Ce prédicat permet d'ouvrir le fichier disque DosFileName, d'ajouter et d'associer le SymbolicFileName à ce fichier pour référence future dans le programme Turbo Prolog contenant cet appel. |
| OPENMODIFY | Ce prédicat permet d'ouvrir le fichier disque DosFileName pour la lecture et l'écriture, et attache le fichier SymbolicFileName à ce fichier pour référence ultérieure dans le programme Turbo Prolog contenant cet appel. Ce prédicat peut être utilisé avec filepos pour mettre à jour un fichier à accès aléatoire. |
| OPENREAD | Ce prédicat permet d'ouvrir le fichier disque DosFileName en lecture et attache le SymbolicFileName à ce fichier pour référence ultérieure dans le programme Turbo Prolog contenant cet appel. |
| OPENWRITE | Ce prédicat permet d'ouvrir le fichier disque DosFileName pour l'écriture et attache le SymbolicFileName à ce fichier pour référence future dans le programme Turbo Prolog contenant cet appel. Si un fichier appelé DosFileName existe déjà sur le disque, il est supprimé. |
| PENCOLOR | Ce prédicat permet de déterminer la couleur du tracé laissé par le stylo. |
| PENDOWN | Ce prédicat permet d'activer le stylo utilisé par les prédicats avant et arrière. |
| PENUP | Ce prédicat permet de désactiver le stylo utilisé par les prédicats avant et arrière. |
| PORTBYTE | Ce prédicat permet de lire la valeur à l'équivalent décimal de la valeur d'octet au port d'entrée/sortie PortNo ou d'envoyer la valeur au port d'entrée/sortie PortNo. |
| PTR_DWORD | Ce prédicat permet, lorsque StringVar est lié, de retourner l'adresse de Segment et d'Offset interne de StringVar ou, lorsque Segment et Offset sont liés, de renvoyer le contenu de l'emplacement Segment * 16 + Offset et le suit sous forme de chaîne de caractères. La chaîne de caractères se compose des caractères avec les valeurs ASCII données et se termine au premier emplacement contenant un octet NUL (c'est-à-dire, un octet défini sur 0). |
| READCHAR | Ce prédicat permet de lire un seul caractère du périphérique de lecture actuel (soit le clavier, sauf si la valeur par défaut est modifiée via readdevice). |
| READDEVICE | Ce prédicat permet de réaffecte le périphérique de lecture actuel au fichier ouvert avec le SymbolicFileName spécifié, pouvant être le clavier de fichier symbolique prédéfini ou tout nom de fichier symbolique défini par l'utilisateur pour un fichier ouvert en lecture ou en modification ou lier SymbolicFileName au nom du périphérique de lecture actuel, pouvant être le clavier prédéclaré ou un fichier. |
| READINT | Ce prédicat permet de lire un entier sur le périphérique de lecture actuel (le clavier, à moins que la valeur par défaut ne soit modifiée via readdevice), terminé par un caractère de retour chariot ASCII. |
| READLN | Ce prédicat permet de lire les caractères du périphérique de lecture actuel (soit le clavier, à moins que la valeur par défaut ne soit modifiée via readdevice) jusqu'à ce qu'un caractère de retour chariot ASCII soit lu. |
| READREAL | Ce prédicat permet de lire un réel à partir du périphérique de lecture actuel (soit le clavier sauf si la valeur par défaut est modifiée via readdevice) terminé par un caractère de retour chariot ASCII. |
| READTERM | Ce prédicat permet de lire tout objet écrit par le prédicat d'écriture. Le terme est lié à l'objet lu, à condition qu'il soit conforme à la déclaration de domaine. readterm permet d'accéder aux faits sur des fichiers. |
| REMOVEWINDOW | Ce prédicat permet de supprimer la fenêtre active de l'écran. |
| RENAMEFILE | Ce prédicat permet de renommer le fichier OldDosFileName (sur le disque actuellement utilisé) en NewDosFileName. |
| RETRACT | Ce prédicat permet de supprimer le premier (fait) de la base de données correspondant au donné (fait). |
| RIGHT | Ce prédicat permet de tourner la tortue de l'angle indiqué (en degrés) vers la droite (dans le sens des aiguilles d'une montre) ou de lier Angle à la direction actuelle de la tortue. |
| SAVE | Ce prédicat permet d'enregistrer toutes les clauses des prédicats de base de données dans le fichier texte auquel fait référence DOSFileName. save enregistre un fait sur chaque ligne du fichier. Le fichier peut ensuite être lu en mémoire par le prédicat consult. Le fichier texte, et donc toute la base de données, peut également être inspecté et manipulé à l'aide de l'éditeur. |
| SCR_ATTR | Ce prédicat permet de fixer l'attribut du caractère à la position de l'écran Row, Col sur la valeur indiquée par Attr ou de retourner la valeur du paramètre d'attribut pour le caractère à la position Row, Col. |
| SCR_CHAR | Ce prédicat permet d'écrire le caractère Char à l'écran avec l'attribut actuel à la position indiquée par Row et Column ou de lire un caractère à partir de la position spécifiée. |
| SHIFTWINDOW | Ce prédicat permet de changer la fenêtre actuellement active en celle référencée par WindowNo. (Toute fenêtre précédemment active est entreposée dans son état actuel). Le curseur revient à la position dans laquelle il était lorsque la fenêtre WindowNo était active pour la dernière fois. Ce prédicat permet peut aussi lier WindowNo au numéro de la fenêtre actuellement active. |
| SOUND | Ce prédicat permet de jouer une note dans le PC Speaker avec une fréquence donnée pour une durée de centièmes de seconde. |
| STORAGE | Ce prédicat permet de retourner la taille disponible des 3 zones de mémoire d'exécution utilisées par le système Turbo Prolog. |
| STR_CHAR | Ce prédicat permet de lier CharParam au seul caractère contenu dans la chaîne de caractères à laquelle StringPorom est lié. Il peut aussi lier StringParam au caractère spécifié par CharParam. Enfin, il peut aussi réussir si CharParam et StringParam sont tous deux liés à des représentations du même caractère. |
| STR_INT | Ce prédicat permet de lier IntParam à l'équivalent interne (binaire) de l'entier décimal auquel StringParam est lié, de lier StringParam à une chaîne de caractères de chiffres décimaux représentant la valeur à laquelle IntParam est lié ou de réussir si IntParam est lié à la représentation interne (binaire) de l'entier décimal auquel StringParam est lié. |
| STR_LEN | Ce prédicat permet de réussir si String a des caractères de longueur (Length) ou réussir en liant Length au nombre de caractères dans String. |
| STR_REAL | Ce prédicat permet de lier RealParam à l'équivalent interne (binaire) du nombre réel décimal auquel StringParam est lié, lier StringParam à une chaîne de caractères chiffres décimaux représentant la valeur à laquelle RealParam est lié ou réussir si RealParam est lié à la représentation interne (binaire) du nombre réel décimal représenté par la chaîne de caractères à laquelle StringParam est lié. |
| SYSTEM | Ce prédicat permet d'envoyer DosCommandString à DOS pour exécution. |
| TEXT | Ce prédicat permet de réinitialiser l'écran en mode texte. L'appel n'a aucun effet si l'écran était déjà en mode texte. |
| TIME | Ce prédicat permet de fixer l'heure utilisée par l'horloge interne de l'ordinateur ou de lire l'heure de l'horloge interne de l'ordinateur. |
| TRACE | Ce prédicat permet d'activer le traçage (quel que soit le mode sélectionné par la directive du compilateur correspondante, trace ou shorttrace); trace (off) désactive le traçage ou lier Status à activé ou désactivé en indiquant si le traçage est effectué ou non. |
| UPPER_LOWER | Ce prédicat permet de lier StringlnLowerCase à l'équivalent minuscule de la chaîne de caractères à laquelle StringlnUpperCase est lier, de lier StringlnUpperCase à l'équivalent majuscule de la chaîne de caractères à laquelle StringlnLowerCase est lié ou de réussir si StringlnLowerCase et StringlnUpperCase sont liées aux versions inférieure et supérieure de la même chaîne de caractères. |
| WINDOW_ATTR | Ce prédicat permet de donner à la fenêtre active la valeur d'attribut à laquelle Attr est lié. |
| WINDOW_STR | Ce prédicat permet de lier ScreenString à la chaîne de caractères actuellement affichée dans la fenêtre active; donc ScreenString a le même nombre de lignes qu'il y a de lignes dans la fenêtre active. La longueur de chaque ligne est déterminée par le dernier caractère non vide de cette ligne ou ScreenString est écrit dans la fenêtre. |
| WRITE | Ce prédicat permet d'écrire les constantes ou les valeurs données dans la fenêtre actuellement active sur le périphérique écrit en cours. Peut être appelé avec un nombre optionnel de paramètre ei, pouvant être des constantes ou des variables liées aux valeurs des types de domaine standard. |
| WRITEDEVICE | Ce prédicat permet de réaffecter le périphérique écrit actuel au fichier ouvert avec le SymbolicFileName donné, pouvant être l'un des fichiers symboliques prédéfinis (écran et imprimante) ou tout nom de fichier symbolique défini par l'utilisateur pour un fichier ouvert en écriture ou en modification ou lier SymbolicFileName au nom du périphérique écrit actuel, pouvant être l'écran ou l'imprimante prédéclaré, ou un fichier. |
| WRITEF | Ce prédicat permet de produire une sortie formatée. Arg1 à ArgN doivent être des constantes ou des variables appartenant à des domaines de type standard. |
Dernière mise à jour : Vendredi, le 7 juin 2019