Revendications. 1. Machine de traitement de l'information, destinée à recevoir un logiciel propre à l'interprétation d'un langage de programmation logique, et comprenant des moyens de traitement (10) et des moyens de mémoire vive (12) interconnectés par un bus (13), caractérisée - en ce que les moyens de mémoire vive (12) comprennent une mémoire formant pile de géniteurs, ordonnée en fonction d'un nombre entier ou niveau, et une mémoire de désignation, constituée de cellules adressables individuellement, à deux champs au moins chacune, chaque champ étant destiné à contenir une information qui est soit un atome ou donnée, soit une référence à une autre cellule, soit une référence à l'un des géniteurs, - un géniteur constituant le point de départ d'un treillis de termes, en contenant lui-même l'une au moins desdites informations, le treillis de termes pouvant se prolonger par des références successives entre cellules de la mémoire de désignation, - les cellules ainsi référencées étant soit de type constructeur, leurs champs contenant alors immédiatement chacun l'une desdites informations, soit de type variable, étant mises en attente d'une liaison ultérieure, lors de laquelle les deux champs d'une cellule serviront l'un à associer la variable à l'un des géniteurs, et l'autre à contenir l'une desdites informations, et - en ce que les moyens de traitement (10) comprennent un processeur d'exécution microprogrammé (10) susceptible d'etre associé directement ou indirectement à un organe programmable destiné à recevoir le logiciel d'interprétation, ce proces seur d'exécution comprenant en outre un registre de géniteur courant, qui fait référence à l'un des géniteurs de la méi moire formant pile, l'état courant de la machine étant ainsi défini par le contenu de ce registre ainsi que par le contenu de la mémoire de désignation et de la mémoire formant pile de géniteurs. 2. Machine selon la revendication 1, caractérisée en ce que le processeur d ' exécution (10) est microprogrammé avec un jeu d'instructions comprenant - la construction d'un terme à partir de deux autres, - la création d'une variable, - la substitution d'un terme 8 une variable, - l'accès à la partie droite d'un terme construit; - 3. 'acce's à la parti gauche d'un terme construit, - des tests pour de terminer Si un terme est un atome, un terme construit ou une variable, - la comparaison de deux termes autres que construits, - la sauvegarde d'un terme, la reprise d'un terme, et - 1' initialisation 3.Machine selon la revendication 2, caractérisée en ce que le processeur d'exécution (10) est microprogrammé pour effectuer aussi les instructions suivantes - obtenir le niveau courant, - exécuter une coupure. 4. Machine selon l'une des revendications 1 à 3, caractérisée en ce que, dans la mémoire de désignation (14), une cellule de type constructeur comporte un champ de gauche et un champ de droite, utilisés de la meme manière, et comprenant chacun une zone d'indicateur et une zone dtin- formation, cette dernière étant propre à contenir une information de l'un des types précités, tandis que la zone dindi- cateur associée précise s'il s'agit d'un atome,d'une référence à une cellule-constructeur, d'une référence à une cellule-variable ou d'une référence à un géniteur, une cellule de type variable comporte une zone de statut de liaison, propre à contenir 'libre' tant que la variable demeure libre, ou 'indécis' lorsque la variable est devenue liée, une zone de référence à un géniteur associé, et une zone de liaison propre à définir une liaison de cette variable, en recevant une information de l'un des types précités ainsi qu'une indication correspondante, comme définie cidessus. 5. Machine selon l'une des revendications 1 à 4, caractérisée en ce que la mémoire formant pile de géniteurs (14) est agencée pour permettre trois formats différents quant aux éléments de la pile, ces trois formats comprenant tous un champ 'nature' en tête, avec pour un format dit géniteur actif', un champ 'nature' contenant la marque 'actif', un champ 'niveau' qui contient un nombre entier, un champ 'précédent' qui contient une référence à un autre géniteur défini par son rang et au moins un champ 'nom' qui contient un nom, qui contient l'une desdites informations, pour un format dit 'géniteur coupé', le champ 'nature' qui contient la marque 'coupé', ainsi qu'un champ 'niveau' et un champ 'précédent' définis comme pour un géniteur actif, et pour un format dit 'géniteur mort, le seul champ 'nature' qui contient la marque 'mort'. 6. Machine selon l'une des revendications 1 à 5, caractérisée en ce que la mémoire formant pile de géniteurs (14) est construite à partir de cellules de taille identique à celle de la mémoire de désignation, les formats 'géniteur coupé' et 'géniteur mort' occupant une seule cellule de mémoire, tandis que le format 'géniteur actif' est obtenu par enchainement de plusieurs cellules de mémoire. 7. Machine selon la revendication 6, caractérisée en ce que les cellules de la mémoire vive comprennent deux parties de 24 bits chacune, séparables chacune en un champ de 4 bits et un champ de 20 bits. 8. Machine selon l'une des revendications 1 à 7, caractérisée en ce que le processeur d'exécution (10) est microprogrammé avec une instruction 'réduire', destinée à permettre la récupération, dans les moyens de mémoire vive, des parties de celleci qui contiennent des informations devenues inutiles. 9. Machine selon la revendication 8, caractérisée en ce que les moyens de traitement sont aussi agencés pourra'une part répondre à des demandes d'allocation de cellules-de mémoire, en allouant des cellules de mémoire disponibles, et d'autre part répondre à une demande spécifique consécutive à la commande 'réduire' en effectuant une récupération automatique des cellules contenant des informations devenues inutiles. 10. Machine selon la revendication 9, caractérisée en ce que les moyens de traitement comprennent un processeur de gestion de mémoire (12) séparé qui possède un registre 'attente cellule', propre à contenir une marque 'vrai' ou 'faux', et un registre 'situation de l'exécuteur' qui contient l'une des deux marques 'tangent' ou 'disjoint' suivant l'état du processeur d'exécution relativement au processeur de gestion de mémoire, les deux processeurs dialoguant par requêtes, et en ce que la machine comporte un mécanisme d'accès exclusif à la mémoire permettant une exclusion mutuelle entre les deux processeurs. 11. Machine selon l'une des revendications 9 et 10, caractérisée en ce que les moyens de traitement (32) effectuent la récupération automatique de la manière suivante - exploration d'une partie au moins des treillis de cellules définis par le contenu des moyens de mémoire vive, et utiles au processseur d'exécution, en y marquant les cellules en fonction de conditions prédéterminées, - et ensuite ramassage des cellules non marquées, qui sont maintenant considérées comme libres. 12. Machine selon la revendication 11, caractérisée en ce qu'une mémoire de statuts d'allocation (15) est associée au processeur de gestion de mémoire (12), cette mémoire de statuts d'allocation (15) comprenant un nombre d'éléments au moins égal à celui des cellules de la mémoire de désignation (14), chacun de ces éléments étant susceptible d'états différents comprenant un état libre, et un état marqué au moins, en ce que le processeur de gestion de mémoire (12) effectue le marquage des cellules de la mémoire (14) par une inscription dans l'élément correspondant de cette mémoire de statuts d'allocation, et en ce que le processeur de gestion de mémoire (12) effectue le ramassage par une exploration complète de cette mémoire de statuts d'allocation (lus), tout en faisant passer ses éléments non marqués à l'état libre. 13. Machine selon la revendication 12, caractérisée en ce que chaque élément de la mémoire de statuts d'allocation (15) comporte trois états différents, c'est-à-dire l'état libre, ainsi qu'un premier et un second états non libres, définissant respectivement l'affectation de la cellule correspondante des moyens de mémoire vive dans une première et une seconde fournées, et en ce que le processeur de gestion de mémoire (12) effectue alternativement la récupération de mémoires sur les cellules de la première. et de la seconde fournées, le marquage consistant à inverser l'affectation de fournée des cellules, on inversant l'état non libre de L'éLément associé dans la mémoire de statuts d'allocation, et le ramassage consistant à faire passer à l'état libre les éléments de la mémoire de statuts d'allocation qui ont conservé la marque qu'elles avaient au début de cette fournée. 14. Machine selon la revendication 13, caractérisée en ce que la mémoire de statuts d'allocation (15) comporte, en correspondance bi-univoque, autant d'éléments qu'il y a de cellules dans les moyens de mémoire vive. 15. Machine selon la revendication 14, caractérisée en ce que le processeur de gestion de mémoire possède en outre les registres suivants j géniteur sommet' qui contient une 'référence', 'fournée courante' qui contient une des deux marques 'allouée première fournée' ou 'allouée seconde fournée', 'niveau sous marquage' qui contient un nombre entier, 'nom sous marquage' qui contient au moins un nom, et en ce que le processeur de gestion est propre à répondre à une requête 'démarrer une fournée' émanant du processeur d'exécution à la suite d'une instruction 'réduire', ladite requête étant accompagnée de la référence d'un 'géniteur' et de celle d'au moins un 'nom', représentant l'état courant du.processeur d'exécution, en effectuant les opérations suivantes - ranger la référence de ce géniteur dans le registre 'géniteur sommet', - inverser la marque contenue dans le registre 'fournée courante', - ranger le niveau du nouveau 'géniteur sommet' dans le registre 'niveau sous marquage', - ranger le nom dans le registre 'nom sous marquage', - puis en procédant au marquage du terme défini par le registre 'nom sous marquage', ledit marquage concernant, pour un terme construit, non seulement la cellule 'constructeur' de ce terme, mais aussi les cellules désignées par celle-ci, répétitivement s'il s'agit à nouveau de termes construits. 16. Machine selon l'une des revendications 13 à 15, caractérisée en ce que ledit marquage comporte, pour une cellule du genre variable liée, une normalisation de la liaison,avec: - un test pour déterminer si la variable est libre ou si le géniteur de la variable est mort, auquel cas la variable est mise au statut 'libre', et le résultat de la normalisation est 'libre', - sinon, le remplacement du géniteur de la variable par son géniteur représentant, la comparaison du niveau de ce géni teur représentant maintenant associé à cette variable au contenu du registre 'niveau sous marquage', en cas de supérioriorité du premier, la normalisation de la liaison de la variable à 'libre'. en cas d'infériorité ou d'égalité, la normalisation de la liaison de la variable à 'liée' et la réitération du marquage avec le résultat de la liaison ainsi normalisée de la variable. 17. Machine selon la revendication 16, caractérisée en ce que la recherche du géniteur représentant comprend la recherche du premier géniteur actif rencontré à partir du champ 'précédent' du géniteur en cours d'examen, le géni teur représentant étant ce géniteur actif. 18. Machine selon l'une des revendications 13 à 17, caracté risée en ce qu'après achèvement des marquages précités, les moyens de traitement (12) produisent - une exploration de la pile des géniteurs à partir du géni teur sommet, .jusqu'au premier géniteur actif, en transformant en géniteurs morts les géniteurs coupés rencontrés en cours de route, et un marquage dudit premier géniteur actif rencontré, lequel est maintenant réservé, - l'inscription de ce champ 'précédent' dans le registre 'géniteur sommet', en remplacement du contenu antérieur de celui-ci, - la continuation de l'exploration de la pile des géniteurs jusqu'au second géniteur actif, représentant le nouveau géniteur sommet, - l'inscription de la référence du géniteur représentant ,dans le champ 'précédent' du premier géniteur actif qui vient d'être marqué, et - l'inscription de son ou ses champs 'nom' dans le registre 'nom sous marquage'. 19. Machine selon l'une des revendications 13 à 18, caractérisée en ce qu'en présence d'une requête d'allocation de cellules lors du ramassage, le processeur de gestion de mémoire (12) alloue une cellule ayant conservé la marque de la fournée en cours, tout en inversant cette marque, au lieu de faire passer cette cellule à l'état libre. 20. Machine selon l'une des revendications 11 à 19, caractérisée en ce que le quatrième état de la mémoire des statuts d'allocation (15) identifie des cellules non soumises à l'action du processeur de gestion de mémoire (12).