Best viewed in 24pt and full-screen
...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 tex2html_wrap_inline53128, ..., tex2html_wrap_inline51656 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 tex2html_wrap_inline56836Prolog 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 tex2html_wrap_inline52896 avant qu'il ne soit réécrit en tex2html_wrap_inline56836Prolog, 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.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

Olivier Ridoux
Mon Apr 27 11:10:23 MET DST 1998