Download Prolog III - Colmerauer, Alain

Transcript
Utilisation de Prolog III sur Macintosh
La fenêtre console est la seule depuis laquelle on peut lancer un programme
Prolog III1 ; en contrepartie, elle ne possède pas les fonctions d'édition des
autres fenêtres. Comme un terminal classique, cette fenêtre grossit par ajout
de lignes à la suite de celles déjà écrites. La dernière ligne de console possède
certains privilèges :
• la frappe de la touche retour chariot produit la lecture par Prolog III de
cette dernière ligne (sans l'éventuel “prompt” que Prolog aurait
préalablement affiché) et l'exécution de la commande que cette ligne
représente.
• la frappe de la touche enter (sur le pavé numérique) produit
- si aucun texte n'est sélectionné, le même effet que la touche retourchariot
- si un texte est sélectionné, n'importe où dans la fenêtre console, la
recopie de ce texte sur la dernière ligne et la lecture et exécution du
tout par Prolog III
Bien entendu, la dernière ligne est éditable et peut être corrigée par les
moyens habituels (souris, etc…) aussi longtemps que la frappe de retourchariot n'a pas terminé la lecture.
5 . Ajout de règles prédéfinies
Cette section montre comment ajouter de nouvelles règles prédéfinies à
l'ensemble standard, et décrit les procédures d'interface. Ces règles peuvent
soit être entièrement écrites en Prolog III (cela ne fait alors intervenir aucun
concept nouveau), soit faire référence à des fonctions externes écrites en C
ou tout autre langage compatible avec C.
Des procédures de
communication permettent le passage de paramètres entre les règles Prolog
et le programme externe ; ces paramètres doivent être de type entier, réel
1
La convention par défaut adoptée dans Prolog III n'est pas la même que celle de
l'environnement MPW, où toute fenêtre comporte simultanément un éditeur de textes et un
interprète de commandes, ce qui a la conséquence d'obliger à réapprendre l'emploi de
touches parmi les plus courantes, comme «retour chariot» et «enter». Il est néanmoins
possible de se mettre en mode d'édition MPW à l'aide de la commande stty .
1010
© PrologIA
A!ociation
Prolog
HERITAGE