Machine Lisp

Les machines Lisp sont des ordinateurs à usage général conçus pour exécuter efficacement Lisp comme principal logiciel et langage de programmation , généralement via un support matériel. Ils sont un exemple d’ architecture informatique de langage de haut niveau et, en un sens, ils ont été les premiers postes de travail mono-utilisateur commerciaux . Bien qu’elles soient en nombre modeste (peut-être 7 000 unités au total en 1988 ^[1] ), les machines Lisp ont été les pionnières commerciales de nombreuses technologies désormais courantes, notamment la collecte efficace des ordures , l’impression laser , les systèmes de fenêtrage , les souris d’ordinateur , les graphiques raster bitmap haute résolution, le rendu graphique par ordinateur et les innovations de mise en réseau telles que Chaosnet . ^[2] Plusieurs entreprises ont construit et vendu des machines Lisp dans les années 1980 : Symbolics (3600, 3640, XL1200, MacIvory et autres modèles), Lisp Machines Incorporated (LMI Lambda), Texas Instruments ( Explorer, MicroExplorer ) et Xerox ( Interlisp – postes de travail D). Les systèmes d’exploitation ont été écrits en Lisp Machine Lisp , Interlisp (Xerox), et plus tard en partie en Common Lisp .

Une machine Knight conservée au musée du MIT Symbolique 3640 Machine Lisp

Histoire

Contexte historique

Les programmes informatiques d’intelligence artificielle (IA) des années 1960 et 1970 nécessitaient intrinsèquement ce qui était alors considéré comme une énorme quantité de puissance informatique, mesurée en temps processeur et en espace mémoire. Les besoins en puissance de la recherche en IA ont été exacerbés par le langage de programmation symbolique Lisp, lorsque le matériel commercial a été conçu et optimisé pour l’assemblage – et les langages de programmation de type Fortran . Au début, le coût d’un tel matériel informatique signifiait qu’il devait être partagé entre de nombreux utilisateurs. Alors que la technologie des circuits intégrés a réduit la taille et le coût des ordinateurs dans les années 1960 et au début des années 1970, et que les besoins en mémoire des programmes d’IA ont commencé à dépasser l’ espace d’adressage de l’ordinateur de recherche le plus courant, leDigital Equipment Corporation (DEC) PDP-10 , les chercheurs ont envisagé une nouvelle approche : un ordinateur conçu spécifiquement pour développer et exécuter de grands programmes d’intelligence artificielle, et adapté à la sémantique du langage Lisp . Pour garder le système d’exploitation (relativement) simple, ces machines ne seraient pas partagées, mais seraient dédiées à des utilisateurs uniques. ^{[ citation nécessaire ]}

Développement initial

En 1973, Richard Greenblatt et Thomas Knight , programmeurs au Massachusetts Institute of Technology (MIT) Artificial Intelligence Laboratory (AI Lab), ont lancé ce qui allait devenir le projet MIT Lisp Machine lorsqu’ils ont commencé à construire un ordinateur câblé pour exécuter certaines opérations Lisp de base, plutôt que de les exécuter dans un logiciel, dans une architecture balisée 24 bits . La machine a également effectué une récupération de place incrémentielle ( ou Arena ) . ^{[ citation nécessaire ]}Plus précisément, étant donné que les variables Lisp sont typées au moment de l’exécution plutôt qu’au moment de la compilation, un simple ajout de deux variables pourrait prendre cinq fois plus de temps sur du matériel conventionnel, en raison des instructions de test et de branchement. Lisp Machines a exécuté les tests en parallèle avec les ajouts d’instructions simples plus conventionnels. Si les tests simultanés échouaient, le résultat était rejeté et recalculé ; cela signifiait dans de nombreux cas une augmentation de la vitesse par plusieurs facteurs. Cette approche de vérification simultanée a également été utilisée pour tester les limites des tableaux lorsqu’ils sont référencés, et d’autres nécessités de gestion de la mémoire (pas simplement la récupération de place ou les tableaux).

La vérification de type a été encore améliorée et automatisée lorsque le mot d’octet conventionnel de 32 bits a été allongé à 36 bits pour les machines Lisp de modèle Symbolics 3600 ^[3] et finalement à 40 bits ou plus (généralement, les bits en excès non pris en compte par les suivants ont été utilisés pour les codes de correction d’erreurs ). Le premier groupe de bits supplémentaires a été utilisé pour contenir des données de type, faisant de la machine une architecture étiquetée , et les bits restants ont été utilisés pour implémenter le codage CDR (dans lequel les éléments de liste chaînés habituels sont compressés pour occuper environ la moitié de l’espace), facilitant la collecte des ordures par aurait un ordre de grandeur. Une autre amélioration était deux instructions de microcode qui prenaient spécifiquement en charge les fonctions Lisp, réduisant le coût d’appel d’une fonction à seulement 20 cycles d’horloge, dans certaines implémentations de Symbolics.

La première machine s’appelait la machine CONS (du nom de l’opérateur de construction de liste consen Lisp). Souvent, on l’appelait affectueusement la machine Knight , peut-être depuis que Knight a rédigé sa thèse de maîtrise sur le sujet; il a été extrêmement bien reçu. ^{[ citation nécessaire ]} Il a ensuite été amélioré dans une version appelée CADR (un jeu de mots ; en Lisp, la cadrfonction, qui renvoie le deuxième élément d’une liste, se prononce /ˈkeɪ.dəɹ/ ou /ˈkɑ.dəɹ/, comme certains prononcent le mot “cadre”) qui reposait essentiellement sur la même architecture. Environ 25 de ce qui était essentiellement des prototypes de CADR ont été vendus à l’intérieur et à l’extérieur du MIT pour environ 50 000 $; il est rapidement devenu la machine préférée pour le piratage – bon nombre des outils logiciels les plus appréciés y ont été rapidement portés (par exemple , Emacs a été porté depuis ITS en 1975 ^{[ contesté – discuter ]} ). Il a été si bien accueilli lors d’une conférence sur l’IA tenue au MIT en 1978 que la Defense Advanced Research Projects Agency (DARPA) a commencé à financer son développement.

Commercialisation de la technologie des machines MIT Lisp

Apprendre encore plus Cette section contient peut -être des recherches originales . ( juin 2021 )Veuillez l’améliorer en vérifiant les affirmations faites et en ajoutant des citations en ligne . Les déclarations consistant uniquement en des recherches originales doivent être supprimées. (Learn how and when to remove this template message)

En 1979, Russell Noftsker , convaincu que les machines Lisp avaient un bel avenir commercial en raison de la force du langage Lisp et du facteur favorable de l’accélération matérielle, proposa à Greenblatt de commercialiser la technologie. ^{[ citation nécessaire ]}Dans un mouvement contre-intuitif pour un hacker du AI Lab, Greenblatt a acquiescé, espérant peut-être qu’il pourrait recréer l’atmosphère informelle et productive du Lab dans une vraie entreprise. Ces idées et objectifs étaient considérablement différents de ceux de Noftsker. Les deux ont longuement négocié, mais aucun n’a voulu faire de compromis. Comme l’entreprise proposée ne pouvait réussir qu’avec l’assistance complète et sans partage des hackers du AI Lab en tant que groupe, Noftsker et Greenblatt ont décidé que le sort de l’entreprise dépendait d’eux et que le choix devait donc être laissé aux hackers.

Les discussions qui ont suivi sur le choix ont divisé le laboratoire en deux factions. En février 1979, les choses se gâtent. Les pirates se sont rangés du côté de Noftsker, estimant qu’une entreprise financée par un fonds de capital-risque commercial avait de meilleures chances de survivre et de commercialiser des machines Lisp que la start-up autonome proposée par Greenblatt. Greenblatt a perdu la bataille.

C’est à ce moment que Symbolics , l’entreprise de Noftsker, s’est lentement constituée. Alors que Noftsker payait un salaire à son personnel, il n’avait aucun bâtiment ni aucun équipement sur lequel les pirates pouvaient travailler. Il a négocié avec Patrick Winston qu’en échange de permettre au personnel de Symbolics de continuer à travailler hors du MIT, Symbolics laisserait le MIT utiliser en interne et librement tous les logiciels développés par Symbolics. Un consultant du CDC, qui essayait de mettre en place une application informatique en langage naturel avec un groupe de programmeurs de la côte ouest, est venu à Greenblatt, à la recherche d’une machine Lisp avec laquelle son groupe pourrait travailler, environ huit mois après la conférence désastreuse avec Noftsker. Greenblatt avait décidé de créer sa propre entreprise rivale de machines Lisp, mais il n’avait rien fait. Le consultant, Alexander Jacobson, a décidé que la seule façon pour Greenblatt de démarrer l’entreprise et de construire les machines Lisp dont Jacobson avait désespérément besoin était si Jacobson poussait et aidait autrement Greenblatt à lancer l’entreprise. Jacobson a rassemblé des plans d’affaires, un conseil d’administration, un partenaire pour Greenblatt (un certain F. Stephen Wyle). La nouvelle entreprise a été nommée LISP Machine, Inc. (LMI) et a été financée par des commandes du CDC, via Jacobson.

À cette époque, Symbolics (la société de Noftsker) a commencé à fonctionner. Il avait été entravé par la promesse de Noftsker de donner à Greenblatt un an d’ avance et par de graves retards dans l’obtention de capital-risque. Symbolics avait toujours l’avantage majeur que si 3 ou 4 des hackers du AI Lab étaient allés travailler pour Greenblatt, 14 autres hackers solides avaient signé sur Symbolics. Deux personnes du AI Lab n’ont pas été embauchées par l’un ou l’autre : Richard Stallman et Marvin Minsky . Stallman, cependant, a blâmé Symbolics pour le déclin de la communauté des hackers qui s’était centrée autour du laboratoire d’IA. Pendant deux ans, de 1982 à la fin de 1983, Stallman travailla seul à cloner la production des programmeurs Symbolics, dans le but de les empêcher d’obtenir le monopole des ordinateurs du labo.^[4]

Quoi qu’il en soit, après une série de batailles internes, Symbolics a démarré en 1980/1981, vendant le CADR sous le nom de LM-2, tandis que Lisp Machines , Inc. l’a vendu sous le nom de LMI-CADR. Symbolics n’avait pas l’intention de produire de nombreux LM-2, car la famille 3600 de machines Lisp était censée être expédiée rapidement, mais les 3600 ont été retardés à plusieurs reprises et Symbolics a fini par produire environ 100 LM-2, chacun vendu 70 000 $. Les deux entreprises ont développé des produits de deuxième génération basés sur le CADR : le Symbolics 3600 et le LMI-LAMBDA (dont LMI a réussi à vendre ~200). Le 3600, qui a été livré avec un an de retard, a étendu le CADR en élargissant le mot machine à 36 bits, en élargissant l’espace d’adressage à 28 bits, ^[5]et l’ajout de matériel pour accélérer certaines fonctions communes qui ont été implémentées en microcode sur le CADR. Le LMI-LAMBDA, sorti un an après le 3600, en 1983, était compatible avec le CADR (il pouvait exécuter le microcode CADR), mais des différences matérielles existaient. Texas Instruments (TI) a rejoint la mêlée lorsqu’il a autorisé la conception LMI-LAMBDA et a produit sa propre variante, le TI Explorer . Certains des LMI-LAMBDA et l’explorateur TI étaient des systèmes doubles avec à la fois un Lisp et un processeur Unix . TI a également développé une version microprocesseur 32 bits de son processeur Lisp pour l’explorateur TI. Cette puce Lisp a également été utilisée pour le MicroExplorer – une carte NuBus pour Apple Macintosh II(NuBus a été initialement développé au MIT pour être utilisé dans les machines Lisp).

Symbolics a continué à développer la famille 3600 et son système d’exploitation, Genera , et a produit Ivory, une implémentation VLSI de l’architecture Symbolics. A partir de 1987, plusieurs machines basées sur le processeur Ivory sont développées : des cartes pour Sun et Mac, des stations de travail autonomes et même des systèmes embarqués (I-Machine Custom LSI, adresse 32 bits, Symbolics XL-400, UX-400, MacIvory II ; en 1989, les plates-formes disponibles étaient Symbolics XL-1200, MacIvory III, UX-1200, Zora, NXP1000 “boîte à pizza”). Texas Instruments a transformé l’Explorer en silicium sous le nom de MicroExplorer qui a été proposé sous forme de carte pour l’Apple Mac II . LMI a abandonné l’architecture CADR et a développé sa propre K-Machine, ^[6]mais LMI a fait faillite avant que la machine ne puisse être mise sur le marché. Avant sa disparition, LMI travaillait sur un système distribué pour le LAMBDA utilisant l’espace Moby. ^[7]

Ces machines avaient un support matériel pour diverses opérations Lisp primitives (test de type de données, codage CDR ) ainsi qu’un support matériel pour la récupération de place incrémentielle . Ils ont exécuté de grands programmes Lisp très efficacement. La machine Symbolics était compétitive contre de nombreux super mini- ordinateurs commerciaux , mais n’a jamais été adaptée à des fins conventionnelles. Les machines Symbolics Lisp ont également été vendues à certains marchés non liés à l’IA comme l’infographie , la modélisation et l’animation.

Les machines Lisp dérivées du MIT exécutaient un dialecte Lisp nommé Lisp Machine Lisp , descendant du Maclisp du MIT . Les systèmes d’exploitation ont été écrits à partir de zéro en Lisp, en utilisant souvent des extensions orientées objet. Plus tard, ces machines Lisp ont également pris en charge diverses versions de Common Lisp (avec Flavors , New Flavors et Common Lisp Object System (CLOS)).

Interlisp, BBN et Xerox

Bolt, Beranek et Newman (BBN) ont développé leur propre machine Lisp, nommée Jericho, ^[8] qui utilisait une version d’ Interlisp . Il n’a jamais été commercialisé. Frustré, tout le groupe AI a démissionné et a été embauché principalement par Xerox. Ainsi, le centre de recherche Xerox Palo Alto avait, simultanément avec le propre développement de Greenblatt au MIT, développé ses propres machines Lisp conçues pour exécuter InterLisp (et plus tard Common Lisp ). Le même matériel a été utilisé avec différents logiciels, également en tant que machines Smalltalk et en tant que système de bureau Xerox Star . Ceux-ci comprenaient le Xerox 1100, Dolphin (1979); la Xerox 1132, Dorado ; la Xerox 1108,Pissenlit (1981); le Xerox 1109, Dandetiger ; et le Xerox 1186/6085 , Daybreak . Le système d’exploitation des machines Xerox Lisp a également été porté sur une machine virtuelle et est disponible pour plusieurs plates-formes sous la forme d’un produit nommé Medley . La machine Xerox était bien connue pour son environnement de développement avancé (InterLisp-D), le gestionnaire de fenêtres ROOMS, pour sa première interface utilisateur graphique et pour de nouvelles applications comme NoteCards (l’une des premières applications hypertextes ).

Xerox a également travaillé sur une machine Lisp basée sur le Calcul du jeu d’instructions réduit (RISC), en utilisant le «processeur Xerox Common Lisp» et prévoyait de le mettre sur le marché d’ici 1987, ^[9] ce qui ne s’est pas produit.

Machines d’inférence intégrées

Au milieu des années 1980, Integrated Inference Machines (IIM) a construit des prototypes de machines Lisp nommées Inferstar. ^[dix]

Développements des machines Lisp en dehors des États-Unis

En 1984-1985, une entreprise britannique, Racal-Norsk, une filiale commune de Racal et Norsk Data , a tenté de réutiliser la supermini ND-500 de Norsk Data en tant que machine Lisp microcodée, exécutant le logiciel CADR : le système de traitement des connaissances (KPS). ^[11]

Les fabricants japonais ont tenté à plusieurs reprises d’entrer sur le marché des machines Lisp : le coprocesseur mainframe Fujitsu Facom-alpha ^{[12] , Elis de NTT, [13] [14]} le processeur AI (AIP) de Toshiba ^[15] et le LIME de NEC. ^[16] Plusieurs efforts de recherche universitaire ont produit des prototypes fonctionnels, parmi lesquels le TAKITAC-7 de l’Université de Kobe, ^[17] les FLATS de RIKEN, ^[18] et l’EVLIS de l’Université d’Osaka. ^[19]

En France, deux projets Lisp Machine ont vu le jour : M3L ^[20] à l’Université Toulouse Paul Sabatier et plus tard MAIA. ^[21]

En Allemagne, Siemens a conçu le coprocesseur Lisp basé sur RISC COLIBRI. ^{[22] [23] [24] [25]}

Fin des machines Lisp

Avec le début de l’ hiver de l’IA et les débuts de la révolution des micro -ordinateurs , qui allait balayer les fabricants de mini-ordinateurs et de postes de travail, les ordinateurs de bureau moins chers pourraient bientôt exécuter des programmes Lisp encore plus rapidement que les machines Lisp, sans utiliser de matériel à usage spécial. Leur activité matérielle à marge bénéficiaire élevée éliminée, la plupart des fabricants de machines Lisp avaient cessé leurs activités au début des années 90, ne laissant que des entreprises basées sur des logiciels comme Lucid Inc. ou des fabricants de matériel qui étaient passés aux logiciels et aux services pour éviter le crash. Depuis janvier 2015 ^[update], outre Xerox et TI, Symbolics est la seule entreprise de machines Lisp encore en activité, vendant l’ environnement logiciel de la machine Open Genera Lisp et le Macsyma .système de calcul formel. ^{[26] [27]}

Héritage

Plusieurs tentatives d’écriture d’émulateurs open source pour diverses machines Lisp ont été faites : CADR Emulation, ^[28] Symbolics L Lisp Machine Emulation, ^[29] le projet E3 (TI Explorer II Emulation), ^[30] Meroko (TI Explorer I) , ^[31] et Nevermore (TI Explorer I). ^[32] Le 3 octobre 2005, le MIT a publié le code source CADR Lisp Machine en open source. ^[33]

En septembre 2014, Alexander Burger, développeur de PicoLisp , a annoncé PilMCU, une implémentation de PicoLisp dans le matériel. ^[34]

Les archives de documents PDF de Bitsavers ^[35] contiennent des versions PDF de la documentation complète des machines Symbolics Lisp, ^[36] de TI Explorer ^[37] et MicroExplorer ^[38] des machines Lisp et des machines Xerox Interlisp-D Lisp. ^[39]

Applications

Les domaines utilisant les machines Lisp étaient principalement dans le vaste domaine des applications d’intelligence artificielle, mais aussi dans l’infographie, le traitement d’images médicales et bien d’autres.

Les principaux systèmes experts commerciaux des années 80 étaient disponibles : Knowledge Engineering Environment (KEE) d’Intellicorp, Knowledge Craft, de The Carnegie Group Inc., et ART ( Automated Reasoning Tool ) d’Inference Corporation. ^[40]

Présentation technique

Initialement, les machines Lisp étaient conçues comme des postes de travail personnels pour le développement de logiciels en Lisp. Ils étaient utilisés par une seule personne et n’offraient pas de mode multi-utilisateurs. Les machines fournissaient un grand écran bitmap noir et blanc, un clavier et une souris, une carte réseau, des disques durs locaux, plus de 1 Mo de RAM, des interfaces série et un bus local pour les cartes d’extension. Les cartes graphiques couleur, les lecteurs de bande et les imprimantes laser étaient en option.

Le processeur n’exécutait pas Lisp directement, mais était une machine à piles avec des instructions optimisées pour Lisp compilé. Les premières machines Lisp utilisaient un microcode pour fournir le jeu d’instructions. Pour plusieurs opérations, la vérification de type et la répartition ont été effectuées dans le matériel au moment de l’exécution. Par exemple, une seule opération d’addition peut être utilisée avec différents types numériques (nombres entiers, flottants, rationnels et complexes). Le résultat était une représentation compilée très compacte du code Lisp.

L’exemple suivant utilise une fonction qui compte le nombre d’éléments d’une liste pour lesquels un prédicat renvoie true.

( defun example-count ( liste de prédicats ) ( let (( count 0 )) ( dolist ( i list count ) ( when ( funcall predicate i ) ( incf count )))))

Le code machine désassemblé pour la fonction ci-dessus (pour le microprocesseur Ivory de Symbolics) :

Commande : ( désassembler ( compiler #’ exemple – compter )) 0 ENTRY: 2 REQUIRED , 0 OPTIONAL ;Création de PREDICATE et LIST 2 PUSH 0 ;Création de COUNT 3 PUSH FP | 3 ;LISTE 4 PUSH NIL ;Création I 5 BRANCH 15 6 SET – TO – CDR – PUSH – CAR FP | 5 7 SET – SP – A – ADRESSE – ENREGISTRER – TOS SP |-1 10 DÉMARRER – APPEL FP | 2 ;PRÉDICAT 11 PUSH FP | 6 ;I 12 TERMINER – APPEL – 1 – VALEUR 13 BRANCHE – FAUX 15 14 INCREMENT FP | 4 ; COMPTER 15 ENDP FP | 5 16 BRANCHE – FAUX 6 17 ENSEMBLE – SP – A – ADRESSE SP |-2 20 RETOUR – SIMPLE – PILE _

Le système d’exploitation utilisait la mémoire virtuelle pour fournir un grand espace d’adressage. La gestion de la mémoire a été effectuée avec le ramasse-miettes. Tout le code partageait un seul espace d’adressage . Tous les objets de données ont été stockés avec une balise en mémoire, de sorte que le type puisse être déterminé au moment de l’exécution. Plusieurs threads d’exécution étaient pris en charge et appelés processus . Tous les processus s’exécutaient dans le même espace d’adressage.

Tous les logiciels du système d’exploitation ont été écrits en Lisp. Xerox a utilisé Interlisp. Symbolics, LMI et TI ont utilisé Lisp Machine Lisp (descendant de MacLisp). Avec l’apparition de Common Lisp, Common Lisp était pris en charge sur les machines Lisp et certains logiciels système ont été portés sur Common Lisp ou écrits plus tard en Common Lisp.

Certaines machines Lisp ultérieures (comme le TI MicroExplorer, le Symbolics MacIvory ou le Symbolics UX400/1200) n’étaient plus des stations de travail complètes, mais des cartes conçues pour être embarquées dans des ordinateurs hôtes : Apple Macintosh II et SUN 3 ou 4.

Certaines machines Lisp, telles que la Symbolics XL1200, avaient des capacités graphiques étendues utilisant des cartes graphiques spéciales. Ces machines étaient utilisées dans des domaines tels que le traitement d’images médicales, l’animation 3D et la CAO.

Voir également

• ICAD – exemple de logiciel d’ingénierie basé sur les connaissances développé à l’origine sur une machine Lisp qui était suffisamment utile pour être ensuite porté via Common Lisp vers Unix
• Technologie orpheline

Références

1. ^ Newquist, HP (1er mars 1994). Les faiseurs de cerveau . Edition Sams. ISBN 978-0672304125.
2. ^ Cible, Sinclair (30 septembre 2018). “Une brève histoire de Chaosnet” . Historique à deux bits . Récupéré le 6 décembre 2021 .
3. ^ Lune, David A. (1985). “Architecture de la Symbolique 3600”. ACM SIGARCH Actualités de l’architecture informatique . Portail.acm.org. 13 (3): 76–83. doi : 10.1145/327070.327133 . S2CID 17431528 .
4. ^ Levy, S: Hackers . Pingouin États-Unis, 1984
5. ^ Lune 1985
6. ^ K-Machine
7. ^ Espace Moby Archivé le 25 février 2012 à lademande de brevet Wayback Machine 4779191
8. ^ “Installations informatiques pour l’IA: Une enquête sur les options présentes et futures” . Revue IA . 2 (1). 1981.
9. ^ “Les expositions de la conférence AAAI-86: de nouvelles orientations pour l’IA commerciale, les implémentations de machines VLSI Lisp arrivent” . Revue IA . 8 (1). 1987.
10. ^ “Les expositions de la conférence AAAI-86: nouvelles orientations pour l’IA commerciale, un nouveau fournisseur de machines Lisp” , AI Magazine , 8 (1), 1987 , récupéré le 12 novembre 2011
11. ^ “L’algèbre informatique en Norvège, les machines Lisp multi-utilisateurs Racal-Norsk KPS-5 et KPS-10” . Lien Springer. doi : 10.1007/3-540-15984-3_297 . {{cite journal}}: Cite journal requires |journal= (help)
12. ^ “Facom Alpha” . Musée de l’informatique . IPSJ . Récupéré le 12 novembre 2011 .
13. ^ “NTT ELIS” . Musée de l’informatique . IPJ. 9 septembre 1983 . Récupéré le 12 novembre 2011 .
14. ^ “Un processeur LISP 32 bits pour Al Workstation ELIS avec un langage de paradigme de programmation multiple, TAO” . NII. 25 août 1990 . Récupéré le 12 novembre 2011 .
15. ^ “Architecture d’une puce de processeur AI (IP1704)” . NII. 25 août 1990 . Récupéré le 12 novembre 2011 .
16. ^ “Machine Lisp NEC LIME” . Musée de l’informatique . IPSJ . Récupéré le 12 novembre 2011 .
17. ^ “Machine Lisp de l’Université de Kobe” . Musée de l’informatique . IPJ. 10 février 1979 . Récupéré le 12 novembre 2011 .
18. ^ “Ordinateur de traitement numérique RIKEN FLATS” . Musée de l’informatique . IPSJ . Récupéré le 12 novembre 2011 .
19. ^ “Machine EVLIS” . Musée de l’informatique . IPSJ . Récupéré le 12 novembre 2011 .
20. ^ “M3L, une machine Lisp” . Limsi . Récupéré le 12 novembre 2011 .
21. ^ “MAIA, Machine pour l’Intelligence Artificielle” . Limsi . Récupéré le 12 novembre 2011 .
22. ^ Hafer, chrétien; Plankl, Josef; Schmidt, Franz Josef (1991), “COLIBRI : un coprocesseur pour LISP basé sur RISC”, VLSI pour l’intelligence artificielle et les réseaux de neurones , Boston, MA : Springer : 47–56, doi : 10.1007/978-1-4615-3752- 6_5 , ISBN 978-1-4613-6671-3
23. ^ Müller-Schloer (1988), “Bewertung der RISC-Methodik am Beispiel COLIBRI”, in Bode, A (éd.), RISC-Architekturen [ Architectures Risc ] (en allemand), BI
24. ^ Hafer, chrétien; Plankl, Josef; Schmitt, FJ (7–9 mars 1990), “COLIBRI: Ein RISC-LISP-System” [Colibri: un système RISC, Lisp], Architektur von Rechensystemen, Tagungsband (en allemand), München, DE : 11. ITG/GI -Fachtagung
25. ^ Legutko, chrétien; Schäfer, Eberhard; Tappe, Jürgen (9-11 mars 1988), “Die Befehlspipeline des Colibri-Systems” [Le pipeline d’instructions du système Colibri], Architektur und Betrieb von Rechensystemen, Tagungsband , Informatik-Fachberichte (en allemand), Paderborn, DE : 10 ITG/GI-Fachtagung, 168 : 142–151, doi : 10.1007/978-3-642-73451-9_12 , ISBN 978-3-540-18994-7
26. ^ “symboliques.txt” .
27. ^ “Quelques choses que je sais sur les machines LISP” .
28. ^ “Émulation CADR” . Unlambda . Récupéré le 12 novembre 2011 .
29. ^ “Émulation de machine Symbolique L Lisp” . Unlambda. 28 mai 2004 . Récupéré le 12 novembre 2011 .
30. ^ “Le projet E3, émulation TI Explorer II” . Unlambda . Récupéré le 12 novembre 2011 .
31. ^ “Émulateur Meroko (TI Explorer I)” . Unlambda . Récupéré le 12 novembre 2011 .
32. ^ “Nevermore Emulator (TI Explorer I)” . Unlambda . Récupéré le 12 novembre 2011 .
33. ^ “Code source de la machine MIT CADR Lisp” . Talon orteil . Récupéré le 12 novembre 2011 .
34. ^ “Annoncer : PicoLisp dans le matériel (PilMCU)” .
35. ^ “Archives de documents PDF de Bitsavers” . Économiseurs de bits . Récupéré le 12 novembre 2011 .
36. ^ “Documentation symbolique” . Économiseurs de bits . Récupéré le 12 novembre 2011 .
37. ^ “Documentation de l’explorateur TI” . Économiseurs de bits. 15 mai 2003 . Récupéré le 12 novembre 2011 .
38. ^ “Documentation TI MicroExplorer” . Économiseurs de bits. 9 septembre 2003 . Récupéré le 12 novembre 2011 .
39. ^ “Documentation Xerox Interlisp” . Économiseurs de bits. 24 mars 2004 . Récupéré le 12 novembre 2011 .
40. ^ Richter, Mark : Outils et techniques d’IA . Ablex Publishing Corporation USA, 1988, Chapitre 3, Une évaluation des outils de développement de systèmes experts

Général

• ” Rapport d’avancement de la machine LISP “, Alan Bawden, Richard Greenblatt , Jack Holloway, Thomas Knight , David A. Moon , Daniel Weinreb , mémos AI Lab , AI-444, 1977.
• ” CADR “, Thomas Knight, David A. Moon, Jack Holloway, Guy L. Steele. Mémos AI Lab, AIM-528, 1979.
• ” Conception de processeurs basés sur LISP, ou SCHEME: A Dielectric LISP, ou Finite Memories Considered Harmful, ou LAMBDA: The Ultimate Opcode “, Guy Lewis Steele , Gerald Jay Sussman , AI Lab memo, AIM-514, 1979
• David A. Lune . Chaosnet . AI Memo 628, Laboratoire d’intelligence artificielle du Massachusetts Institute of Technology, juin 1981.
• “Implémentation d’une machine de traitement de liste”. Tom Knight, mémoire de maîtrise.
• Manuel de la machine Lisp , 6e éd. Richard Stallman , Daniel Weinreb , David A. Moon . 1984.
• “Anatomie d’une machine LISP”, Paul Graham , expert en intelligence artificielle , décembre 1988
• Libre comme liberté : la croisade de Richard Stallman pour le logiciel libre

Liens externes

• Site de symbolique
• Mélange
• Économiseurs de bits, documents PDF
  • Documentation IMT
  • Documentation MIT CONS
  • Documentation MIT CADR
• Manuel de la machine Lisp, Chinual
  • “Le manuel Lisp Machine, 4e édition, juillet 1981”
  • “Le manuel Lisp Machine, 6e édition, version HTML/XSL”
  • “Le manuel de la machine Lisp”
• Informations et code pour LMI Lambda et LMI K-Machine
• Page Web Lisp Machine de Jaap Weel sur la Wayback Machine (archivée le 23 juin 2015) – Un ensemble de liens et de documents stockés localement concernant toutes sortes de machines Lisp
• “Quelques choses que je sais sur les machines LISP” – Un ensemble de liens, principalement une discussion sur l’achat de machines Lisp
• Symbolics Lisp Machine Museum de Ralf Möller
• Photos du Vintage Computer Festival de certaines machines Lisp, dont une exécutant Genera
• LISPMachine.net – Lisp Livres et informations
• Chronologie des machines Lisp – une chronologie des machines Lisp de Symbolics et d’autres
• (en français) “Présentation Générale du projet M3L” – Un compte rendu des efforts français dans la même veine
• Discussion
  • “Si ça marche, ce n’est pas de l’IA : un regard commercial sur les startups de l’intelligence artificielle”
  • “Symbolics, Inc.: Un échec de l’ingénierie hétérogène” – (PDF)
  • “My Lisp Experiences and the Development of GNU Emacs” – transcription d’un discours que Richard Stallman a prononcé sur les machines Emacs, Lisp et Lisp