- ...cellules»
-
Cette appellation a l'avantage d'être compatible avec l'acronyme anglais GC
(pour Garbage Collection/Collector)
et d'être relativement bien acceptée par la communauté francophone.
Elle a tendance à remplacer «ramasse-miette» pour cet usage.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
- ...Harrop
-
La définition est donnée dans les sections qui suivent.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
- ...variables
-
Traduction :
«Si , ..., apparaissent dans un contexte
mathématique donné
(par exemple, définition, démonstration),
alors dans ces termes toutes les variables liées* sont choisies
différentes des variables libres*.»
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
- ...ones
-
Traduction :
«Par hygiène,
nous supposerons toujours que les variables liées d'une expression donnée
sont différentes de celles qui sont libres.»
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
- ...programmes
-
Des langages de programmation comme APL ou
FP
prétendent s'affranchir de la notion de nom,
mais il les remplacent par des entiers ou des positions.
Cela ne contredit pas notre propos.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
- ...suivante
-
Nous l'avons transcrite dans la syntaxe de
Prolog pour ne pas multiplier les
notations*.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
- ...itération
-
On peut parler d'itération car il s'agit d'une récursivité terminale,
et elle est implémentée comme une itération.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
- ...«parler»
-
Au sens où, en programmation logique, programmer se fait en exprimant
des assertions sur l'univers de calcul.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
- ...cible
-
Aujourd'hui,
on aurait peut-être préféré le langage Java,
mais ce choix a été effectué dans les années 80.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
- ...«naturels»
-
Programmes
qui ont été écrit pour remplir une tâche qui n'est pas seulement de comparer
des systèmes :
par exemple,
le compilateur avant qu'il ne soit réécrit en
Prolog,
ou le système CHAT-80 qui permet l'interrogation en langue naturelle (anglais)
d'une base de données géographique.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
- ...engendré
-
(... -> $ []) dénote donc une dérivation dans le vide.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
- ...droite
-
La syntaxe est la même plus celle décrite plus haut,
avec en plus un point de génération introduit par le signe «`».
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
- ...d'unification
-
Les annotations entre crochets sont de nous.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.