Из Википедии, бесплатной энциклопедии
Перейти к навигации Перейти к поиску
Эта статья про тип компьютера. Информацию о компании см. В разделе « Машины Лиспа» .

Машина Knight сохранилась в музее Массачусетского технологического института.

Машины на Лиспе - это компьютеры общего назначения, предназначенные для эффективного запуска Лиспа в качестве основного программного обеспечения и языка программирования , обычно через аппаратную поддержку. Они являются примером компьютерной архитектуры на языке высокого уровня и в некотором смысле были первыми коммерческими однопользовательскими рабочими станциями . Несмотря на скромное количество (всего около 7000 единиц по состоянию на 1988 год [1] ), Lisp-машины стали пионерами в коммерческой реализации многих ныне распространенных технологий, включая эффективный сбор мусора , лазерную печать , оконные системы , компьютерные мыши , растровую графику с высоким разрешением., рендеринг компьютерной графики и сетевые инновации, такие как Chaosnet . [ необходима цитата ] В 1980-х годах несколько фирм построили и продали машины на Лиспе: Symbolics (3600, 3640, XL1200, MacIvory и другие модели), Lisp Machines Incorporated (LMI Lambda), Texas Instruments ( Explorer и MicroExplorer ) и Xerox ( Interlisp -D рабочие места). Операционные системы были написаны на Lisp Machine Lisp , Interlisp (Xerox), а позже частично на Common Lisp .

Symbolics 3640 Лисп-машина

История [ править ]

Исторический контекст [ править ]

Компьютерные программы с искусственным интеллектом (ИИ) 1960-х и 1970-х годов по сути требовали того, что тогда считалось огромным количеством вычислительной мощности, измеряемой временем процессора и объемом памяти. Требования к мощности исследований в области ИИ были усугублены символьным языком программирования Lisp, когда коммерческое оборудование было разработано и оптимизировано для ассемблера и языков программирования, подобных Фортрану. Сначала стоимость такого компьютерного оборудования означала, что его приходилось делить между многими пользователями. Поскольку технология интегральных схем уменьшила размер и стоимость компьютеров в 1960-х и начале 1970-х годов, а потребности в памяти программ ИИ стали превышать адресное пространство наиболее распространенного исследовательского компьютера, DEC PDP-10 , исследователи рассмотрели новый подход: компьютер, разработанный специально для разработки и запуска больших программ искусственного интеллекта и адаптированный к семантике языка Lisp . Чтобы операционная система была (относительно) простой, эти машины не будут совместно использоваться, а будут выделены отдельным пользователям. [ необходима цитата ]

Начальная разработка [ править ]

В 1973 году Ричард Гринблатт и Томас Найт , программисты из Лаборатории искусственного интеллекта (AI Lab) Массачусетского технологического института (MIT) , начали то, что впоследствии стало проектом MIT Lisp Machine Project, когда они впервые начали создавать компьютер, запрограммированный для выполнения некоторых основных операций Lisp. вместо того, чтобы запускать их в программном обеспечении, в архитектуре с 24-битными тегами . Машина также выполняла инкрементную (или Arena ) сборку мусора . [ необходима цитата ]В частности, поскольку переменные Lisp набираются во время выполнения, а не во время компиляции, простое добавление двух переменных может занять в пять раз больше времени на обычном оборудовании из-за инструкций тестирования и ветвления. Машины на Лиспе запускали тесты параллельно с более традиционным добавлением одиночных инструкций. Если одновременные тесты терпели неудачу, результат отбрасывался и пересчитывался; во многих случаях это означало увеличение скорости в несколько раз. Этот подход с одновременной проверкой также использовался при проверке границ массивов при обращении к ним и других необходимых для управления памятью задач (а не просто сборки мусора или массивов).

Проверка типов была дополнительно улучшена и автоматизирована, когда обычное 32-битное байтовое слово было удлинено до 36 бит для Lisp-машин модели Symbolics 3600 [2] и, в конечном итоге, до 40 бит или более (обычно лишние биты не учитываются следующие были использованы для кодов с исправлением ошибок ). Первая группа дополнительных битов использовалась для хранения данных типа, что делало машину тегированной архитектурой , а оставшиеся биты использовались для реализации кодирования CDR (при этом обычные элементы связанного списка сжимаются, чтобы занимать примерно половину пространства), помогая сборке мусора. как сообщается, на порядок. Еще одним улучшением были две инструкции микрокода, которые специально поддерживали функции Лиспа., уменьшая стоимость вызова функции до 20 тактов в некоторых реализациях Symbolics.

Первая машина была названа машиной CONS (названной в честь оператора построения списка consв Лиспе). Часто ее с любовью называли « машиной Найта» , возможно, с тех пор, как Найт написал на эту тему свою магистерскую диссертацию; он был очень хорошо принят. [ необходима цитата ] Впоследствии она была улучшена до версии под названием CADR (каламбур; в Лиспе cadrфункция, возвращающая второй элемент списка, произносится как /ˈkeɪ.dəɹ/ или /ˈkɑ.dəɹ/, как некоторые произносят слово «кадры»), основанной, по сути, на той же архитектуре. Около 25 из того, что по сути было прототипом CADR, были проданы в Массачусетском технологическом институте и за его пределами за ~ 50 000 долларов; он быстро стал излюбленной машиной для взлома - многие из наиболее популярных программных инструментов были быстро перенесены на него (например, Emacs был перенесен с ITS в 1975 году [ спорно - обсудить ] ). Он был так хорошо принят на конференции по искусственному интеллекту в Массачусетском технологическом институте в 1978 году, что Агентство перспективных оборонных исследовательских проектов (DARPA) начало финансировать его разработку.

Коммерциализация машинной технологии MIT Lisp [ править ]

В 1979 году Рассел Нофтскер , будучи убежден, что у машин на Лиспе блестящее коммерческое будущее благодаря силе языка Лисп и обеспечивающему фактору аппаратного ускорения, предложил Гринблатту коммерциализировать эту технологию. [ необходима цитата ]Гринблатт согласился, возможно, надеясь, что сможет воссоздать неформальную и продуктивную атмосферу лаборатории в реальном бизнесе, что противоречит интуиции для хакера лаборатории искусственного интеллекта. Эти идеи и цели значительно отличались от идей Нофтскера. Они долго вели переговоры, но ни один из них не пошел на компромисс. Поскольку предлагаемая фирма могла добиться успеха только при полной и безраздельной поддержке хакеров AI Lab как группы, Нофтскер и Гринблатт решили, что судьба предприятия зависит от них, и поэтому выбор должен быть предоставлен хакерам.

Последовавшие за этим обсуждения выбора разделили лабораторию на две фракции. В феврале 1979 года ситуация достигла апогея. Хакеры встали на сторону Нофтскера, полагая, что у коммерческой фирмы, поддерживаемой венчурным фондом, больше шансов выжить и коммерциализировать машины на Лиспе, чем у предложенного Гринблаттом самостоятельного стартапа. Гринблатт проиграл битву.

Именно в этот момент , что Symbolics , предприятие Noftsker, в медленно сходились. Пока Нофтскер выплачивал своим сотрудникам зарплату, у него не было ни здания, ни оборудования, над которым могли бы работать хакеры. Он договорился с Патриком Уинстоном о том, что в обмен на разрешение сотрудникам Symbolics продолжать работать в MIT, Symbolics разрешит MIT внутренне и свободно использовать все программное обеспечение, разработанное Symbolics. Консультант CDC, который пытался создать компьютерное приложение на естественном языке с группой программистов с Западного побережья, пришел к Гринблатту в поисках машины на Лиспе для своей группы примерно через восемь месяцев после катастрофической конференции с Нофтскером. Гринблатт решил основать свою конкурирующую фирму по производству машин Лиспа, но ничего не сделал. Консультант Александр Якобсон решил, что единственный способ, которым Гринблатт собирается основать фирму и построить машины на Лиспе, в которых отчаянно нуждался Якобсон, - это если Якобсон подтолкнет Гринблатта к созданию фирмы или иным образом поможет ей создать фирму. Якобсон собрал бизнес-планы, правление, партнера Гринблатта (некто Ф. Стивен Уайл). Новообретенная фирма получила название LISP Machine, Inc. (LMI) и финансировалась за счет заказов CDC через Якобсона.

Примерно в это же время начала работу Symbolics (фирма Нофтскера). Это было затруднено обещанием Noftsker, чтобы дать Гринблэтте годовой фору , и серьезными задержки в приобретении венчурного капитала. У Symbolics по-прежнему было главное преимущество: в то время как 3 или 4 хакера AI Lab работали на Greenblatt, 14 других хакеров подписались на Symbolics. Двое сотрудников AI Lab тоже не были наняты: Ричард Столмен и Марвин Мински . Столмен, однако, обвинил Symbolics в упадке хакерского сообщества, сосредоточившегося вокруг лаборатории искусственного интеллекта. В течение двух лет, с 1982 по конец 1983 года, Столлман сам работал над клонированием продукции программистов Symbolics с целью помешать им получить монополию на компьютеры лаборатории.[3]

Тем не менее, после серии внутренних сражений, Symbolics действительно сдвинулась с мертвой точки в 1980/1981, продав CADR как LM-2, в то время как Lisp Machines , Inc. продавала его как LMI-CADR. Symbolics не собиралась производить много LM-2, так как семейство машин Lisp 3600 должно было быть отправлено быстро, но 3600 постоянно задерживались, и в итоге Symbolics произвела около 100 LM-2, каждая из которых была продана за 70 000 долларов. Обе фирмы разработали продукты второго поколения на основе CADR: Symbolics 3600 и LMI-LAMBDA (из которых LMI удалось продать ~ 200). Модель 3600, выпущенная с опозданием на год, расширила CADR, расширив машинное слово до 36 бит, расширив адресное пространство до 28 бит, [4]и добавление оборудования для ускорения некоторых общих функций, которые были реализованы в микрокоде CADR. LMI-LAMBDA, который вышел через год после 3600, в 1983 году, был совместим с CADR (он мог запускать микрокод CADR), но различия в аппаратном обеспечении существовали. Texas Instruments (TI) присоединилась к драке, когда она лицензировала дизайн LMI-LAMBDA и выпустила свой собственный вариант, TI Explorer . Некоторые из LMI-LAMBDA и TI Explorer были двойными системами с процессором Lisp и Unix . TI также разработала 32-битную микропроцессорную версию своего процессора Lisp для TI Explorer. Этот чип Lisp также использовался для MicroExplorer - платы NuBus для Apple Macintosh II. (NuBus изначально разрабатывался в Массачусетском технологическом институте для использования в машинах Lisp).

Компания Symbolics продолжила разработку семейства 3600 и его операционной системы Genera и выпустила Ivory - реализацию архитектуры Symbolics на СБИС . Начиная с 1987 года было разработано несколько машин на базе процессора Ivory: платы для Sun и Mac, автономные рабочие станции и даже встроенные системы (I-Machine Custom LSI, 32-битный адрес, Symbolics XL-400, UX-400, MacIvory II ; в 1989 году доступными платформами были Symbolics XL-1200, MacIvory III, UX-1200, Zora, NXP1000 «коробка для пиццы»). Компания Texas Instruments превратила Explorer в кристалл MicroExplorer, который предлагался в качестве карты для Apple Mac II . LMI отказалась от архитектуры CADR и разработала собственный K-Machine, [5]но LMI обанкротилась до того, как машина была выпущена на рынок. Перед своей кончиной LMI работала над распределенной системой для LAMBDA с использованием пространства Moby. [6]

Эти машины имели аппаратную поддержку различных примитивных операций Lisp (тестирование типов данных, кодирование CDR ), а также аппаратную поддержку инкрементной сборки мусора . Они очень эффективно запускали большие программы на Лиспе. Машина Symbolics была конкурентоспособна против многих коммерческих супер миникомпьютеров , но никогда не была адаптирована для обычных целей. Машины Symbolics Lisp также продавались на некоторые рынки, не связанные с ИИ, такие как компьютерная графика , моделирование и анимация.

Машины Лиспа , производные от MIT, работали на диалекте Лиспа под названием Lisp Machine Lisp , происходящем от Maclisp из MIT . Операционные системы были написаны с нуля на Лиспе, часто с использованием объектно-ориентированных расширений. Позже эти машины Шепелявости также поддерживаются различные версии Common Lisp (с Ароматы , Новые Ароматы и Common Lisp Object System (CLOS)).

Интерлисп, BBN и Xerox [ править ]

Болт, Беранек и Ньюман (BBN) разработали собственную Лисп-машину под названием Jericho [7], на которой была запущена версия Interlisp . Он никогда не продавался. Разочарованная, вся группа AI ушла в отставку и была нанята в основном Xerox. Итак, исследовательский центр Xerox в Пало-Альто , одновременно с разработкой Гринблатта в Массачусетском технологическом институте, разработал свои собственные машины на Лиспе, которые были разработаны для работы с InterLisp (а позже и с Common Lisp ). Одно и то же оборудование использовалось с другим программным обеспечением, а также в качестве компьютеров Smalltalk и офисной системы Xerox Star . К ним относятся Xerox 1100, Dolphin (1979); Xerox 1132, Дорадо ; Xerox 1108,Одуванчик (1981); Xerox 1109, Dandetiger ; и Xerox 1186/6085 , Daybreak . Операционная система машин Xerox Lisp также была перенесена на виртуальную машину и доступна для нескольких платформ в виде продукта под названием Medley . Машина Xerox была хорошо известна своей продвинутой средой разработки (InterLisp-D), оконным менеджером ROOMS, своим ранним графическим пользовательским интерфейсом и новыми приложениями, такими как NoteCards (одно из первых гипертекстовых приложений).

Xerox также работала над Lisp-машиной, основанной на вычислениях с сокращенным набором команд (RISC), с использованием «Xerox Common Lisp Processor» и планировала вывести ее на рынок к 1987 году [8], чего не произошло.

Интегрированные машины логического вывода [ править ]

В середине 1980-х годов Integrated Inference Machines (IIM) построили прототипы Lisp-машин под названием Inferstar. [9]

Разработки машин на Лиспе за пределами США [ править ]

В 1984–85 годах британская фирма Racal-Norsk, совместная дочерняя компания Racal и Norsk Data , попыталась превратить супермини Norsk Data ND-500 в микрокодированную машину Lisp, работающую под управлением программного обеспечения CADR: системы обработки знаний (KPS). [10]

Японские производители предприняли несколько попыток выйти на рынок машин Lisp: сопроцессор для мэйнфреймов Fujitsu Facom-alpha [11] , Elis от NTT, [12] [13] AI-процессор Toshiba (AIP) [14] и LIME от NEC. [15] В результате нескольких университетских исследований были созданы рабочие прототипы, в том числе TAKITAC-7 Университета Кобе, [16] RIKEN FLATS [17] и EVLIS Университета Осаки. [18]

Во Франции возникли два проекта Lisp Machine: M3L [19] в Тулузском университете Поля Сабатье и позже MAIA. [20]

В Германии компания Siemens разработала сопроцессор COLIBRI на основе языка RISC. [21] [22] [23] [24]

Конец машин на Лиспе [ править ]

С наступлением зимы искусственного интеллекта и ранним началом революции микрокомпьютеров , которая смела производителей мини-компьютеров и рабочих станций, более дешевые настольные ПК вскоре могли запускать программы на Лиспе даже быстрее, чем машины на Лиспе, без использования специального оборудования. Их высокоприбыльный аппаратный бизнес был ликвидирован, большинство производителей машин Lisp прекратили свою деятельность к началу 90-х, оставив только фирмы, основанные на программном обеспечении, такие как Lucid Inc., или производители оборудования, которые переключились на программное обеспечение и услуги, чтобы избежать краха. По состоянию на январь 2015 года , помимо Xerox, Symbolics - единственная компания, занимающаяся машинами Lisp, которая все еще работает, продавая программную среду Open Genera Lisp и Macsyma.система компьютерной алгебры. [25] [26]

Наследие [ править ]

Было предпринято несколько попыток написать эмуляторы с открытым исходным кодом для различных машин Лиспа: Эмуляция CADR, [27] Эмуляция машины Лиспа Symbolics L, [28] Проект E3 (Эмуляция TI Explorer II), [29] Мероко (TI Explorer I) , [30] и Nevermore (TI Explorer I). [31] 3 октября 2005 года Массачусетский технологический институт выпустил исходный код CADR Lisp Machine как открытый. [32]

В сентябре 2014 года Александр Бургер, разработчик PicoLisp , анонсировал PilMCU, аппаратную реализацию PicoLisp. [33]

В архиве PDF-документов Bitsavers [34] есть PDF-версии обширной документации для машин Symbolics Lisp, [35] TI Explorer [36] и MicroExplorer [37] Lisp-машин и Xerox Interlisp-D Lisp-машин. [38]

Приложения [ править ]

Области, в которых использовались машины Lisp, были в основном в широкой области приложений искусственного интеллекта, но также и в компьютерной графике, медицинской обработке изображений и многих других.

Были доступны основные коммерческие экспертные системы 80-х годов: среда разработки знаний Intellicorp (KEE), Knowledge Craft от The Carnegie Group Inc. и ART ( Automated Reasoning Tool ) от Inference Corporation. [39]

Технический обзор [ править ]

Изначально машины на Лиспе проектировались как персональные рабочие станции для разработки программного обеспечения на Лиспе. Они использовались одним человеком и не предлагали многопользовательский режим. Машины имели большой черно-белый растровый дисплей, клавиатуру и мышь, сетевой адаптер, локальные жесткие диски, оперативную память объемом более 1 МБ, последовательные интерфейсы и локальную шину для карт расширения. Цветные видеокарты, ленточные накопители и лазерные принтеры были необязательными.

Процессор не запускал Лисп напрямую, а представлял собой стековую машину с инструкциями, оптимизированными для скомпилированного Лиспа. Первые машины на Лиспе использовали микрокод для обеспечения набора команд. Для некоторых операций проверка типов и диспетчеризация выполнялись аппаратно во время выполнения. Например, только одна операция сложения может использоваться с различными числовыми типами (целые числа, числа с плавающей запятой, рациональные и комплексные числа). В результате получилось очень компактное скомпилированное представление кода Lisp.

В следующем примере используется функция, которая подсчитывает количество элементов списка, для которых возвращается предикат true.

( defun  example-count  ( список предикатов  ) ( let (( count 0 )) ( dolist ( i list count ) ( when ( funcall predicate i ) ( incf count )))))

Дизассемблированный машинный код для вышеуказанной функции (для микропроцессора Ivory от Symbolics):

Команда:  ( дизассемблировать  ( пример компиляции  # - подсчитать )) 0  ВХОД:  2  ТРЕБУЕТСЯ ,  0  ДОПОЛНИТЕЛЬНО  ; Создание ПРОГНОЗИРОВАНИЯ и LIST  2  PUSH  0  ; Создание COUNT  3  PUSH  FP | 3  ; LIST  4  PUSH  NIL  ; Создание I  5  BRANCH  15  6  SET - TO - CDR - PUSH - CAR  FP | 5  7  SET - SP - TO - ADDRESS - SAVE - TOS  SP | -1 10 START-CALL FP|2 ;PREDICATE 11 PUSH FP|6 ;I 12 FINISH-CALL-1-VALUE 13 BRANCH-FALSE 15 14 INCREMENT FP|4 ;COUNT 15 ENDP FP|5 16 BRANCH-FALSE 6 17 SET-SP-TO-ADDRESS SP|-2  20  RETURN - SI NGLE - СТЕК

Операционная система использовала виртуальную память для предоставления большого адресного пространства. Управление памятью осуществлялось с помощью сборки мусора. Весь код разделял единое адресное пространство. Все объекты данных хранились с тегом в памяти, так что тип можно было определить во время выполнения. Поддерживались множественные потоки выполнения и назывались процессами . Все процессы выполнялись в одном адресном пространстве.

Все программное обеспечение операционной системы было написано на Лиспе. Компания Xerox использовала Interlisp. Symbolics, LMI и TI использовали Lisp Machine Lisp (потомок MacLisp). С появлением Common Lisp Common Lisp поддерживался на Lisp-машинах, а некоторое системное программное обеспечение было перенесено на Common Lisp или позже написано на Common Lisp.

Some later Lisp machines (like the TI MicroExplorer, the Symbolics MacIvory or the Symbolics UX400/1200) were no longer complete workstations, but boards designed to be embedded in host computers: Apple Macintosh II and SUN 3 or 4.

Some Lisp machines, such as the Symbolics XL1200, had extensive graphics abilities using special graphics boards. These machines were used in domains like medical image processing, 3D animation, and CAD.

See also[edit]

  • ICAD – example of knowledge-based engineering software originally developed on a Lisp machine that was useful enough to be then ported via Common Lisp to Unix
  • Orphaned technology

References[edit]

  1. ^ Newquist, HP. The Brain Makers, Sams Publishing, 1994. ISBN 0-672-30412-0.
  2. ^ Moon, David A. (1985). "Architecture of the Symbolics 3600". ACM SIGARCH Computer Architecture News. Portal.acm.org. 13 (3): 76–83. doi:10.1145/327070.327133.
  3. ^ Levy, S: Hackers. Penguin USA, 1984
  4. ^ Moon 1985
  5. ^ K-Machine
  6. ^ Moby space Archived 25 February 2012 at the Wayback Machine Patent application 4779191
  7. ^ "Computing Facilities for AI: A Survey of Present and Near-Future Options". AI Magazine. 2 (1). 1981.
  8. ^ "The AAAI-86 Conference Exhibits: New Directions for Commercial AI, VLSI Lisp Machine Implementations Are Coming". AI Magazine. 8 (1). 1987.
  9. ^ "The AAAI-86 Conference Exhibits: New Directions for Commercial AI, A New Lisp Machine Vendor", AI Magazine, 8 (1), 1987, retrieved 12 November 2011
  10. ^ "Computer Algebra in Norway, Racal-Norsk KPS-5 and KPS-10 Multi-User Lisp Machines". Springer link. doi:10.1007/3-540-15984-3_297. Cite journal requires |journal= (help)
  11. ^ "Facom Alpha". Computer Museum. IPSJ. Retrieved 12 November 2011.
  12. ^ "NTT ELIS". Computer Museum. IPSJ. 9 September 1983. Retrieved 12 November 2011.
  13. ^ "A 32-bit LISP Processor for the Al Workstation ELIS with a Multiple Programming Paradigm Language, TAO". NII. 25 August 1990. Retrieved 12 November 2011.
  14. ^ "Architecture of an AI Processor Chip (IP1704)". NII. 25 August 1990. Retrieved 12 November 2011.
  15. ^ "NEC LIME Lisp Machine". Computer Museum. IPSJ. Retrieved 12 November 2011.
  16. ^ "Kobe University Lisp Machine". Computer Museum. IPSJ. 10 February 1979. Retrieved 12 November 2011.
  17. ^ "RIKEN FLATS Numerical Processing Computer". Computer Museum. IPSJ. Retrieved 12 November 2011.
  18. ^ "EVLIS Machine". Computer Museum. IPSJ. Retrieved 12 November 2011.
  19. ^ "M3L, A Lisp-machine". Limsi. Retrieved 12 November 2011.
  20. ^ "MAIA, Machine for Artificial Intelligence". Limsi. Retrieved 12 November 2011.
  21. ^ Hafer, Christian; Plankl, Josef; Schmidt, Franz Josef (1991), "COLIBRI: A Coprocessor for LISP based on RISC", VLSI for Artificial Intelligence and Neural Networks, Boston, MA: Springer: 47–56, doi:10.1007/978-1-4615-3752-6_5, ISBN 978-1-4613-6671-3
  22. ^ Müller-Schloer (1988), "Bewertung der RISC-Methodik am Beispiel COLIBRI", in Bode, A (ed.), RISC-Architekturen [Risc architectures] (in German), BI
  23. ^ Hafer, Christian; Plankl, Josef; Schmitt, FJ (7–9 March 1990), "COLIBRI: Ein RISC-LISP-System" [Colibri: a RISC, Lisp system], Architektur von Rechensystemen, Tagungsband (in German), München, DE: 11. ITG/GI-Fachtagung
  24. ^ Legutko, Christian; Schäfer, Eberhard; Tappe, Jürgen (9–11 March 1988), "Die Befehlspipeline des Colibri-Systems" [The instruction pipeline of the Colibri system], Architektur und Betrieb von Rechensystemen, Tagungsband, Informatik-Fachberichte (in German), Paderborn, DE: 10. ITG/GI-Fachtagung, 168: 142–151, doi:10.1007/978-3-642-73451-9_12, ISBN 978-3-540-18994-7
  25. ^ "symbolics.txt".
  26. ^ "A few things I know about LISP Machines".
  27. ^ "CADR Emulation". Unlambda. Retrieved 12 November 2011.
  28. ^ "Symbolics L Lisp Machine Emulation". Unlambda. 28 May 2004. Retrieved 12 November 2011.
  29. ^ "The E3 Project, TI Explorer II emulation". Unlambda. Retrieved 12 November 2011.
  30. ^ "Meroko Emulator (TI Explorer I)". Unlambda. Retrieved 12 November 2011.
  31. ^ "Nevermore Emulator (TI Explorer I)". Unlambda. Retrieved 12 November 2011.
  32. ^ "MIT CADR Lisp Machine Source code". Heeltoe. Retrieved 12 November 2011.
  33. ^ "Announce: PicoLisp in Hardware (PilMCU)".
  34. ^ "Bitsavers' PDF Document Archive". Bitsavers. Retrieved 12 November 2011.
  35. ^ "Symbolics documentation". Bitsavers. Retrieved 12 November 2011.
  36. ^ "TI Explorer documentation". Bitsavers. 15 May 2003. Retrieved 12 November 2011.
  37. ^ "TI MicroExplorer documentation". Bitsavers. 9 September 2003. Retrieved 12 November 2011.
  38. ^ "Xerox Interlisp documentation". Bitsavers. 24 March 2004. Retrieved 12 November 2011.
  39. ^ Richter, Mark: AI Tools and Techniques. Ablex Publishing Corporation USA, 1988, Chapter 3, An Evaluation of Expert System Development Tools
General
  • "LISP Machine Progress Report", Alan Bawden, Richard Greenblatt, Jack Holloway, Thomas Knight, David A. Moon, Daniel Weinreb, AI Lab memos, AI-444, 1977.
  • "CADR", Thomas Knight, David A. Moon, Jack Holloway, Guy L. Steele. AI Lab memos, AIM-528, 1979.
  • "Design of LISP-based Processors, or SCHEME: A Dielectric LISP, or Finite Memories Considered Harmful, or LAMBDA: The Ultimate Opcode", Guy Lewis Steele, Gerald Jay Sussman, AI Lab memo, AIM-514, 1979
  • David A. Moon. Chaosnet. A.I. Memo 628, Massachusetts Institute of Technology Artificial Intelligence Laboratory, June 1981.
  • "Implementation of a List Processing Machine". Tom Knight, Master's thesis.
  • Lisp Machine manual, 6th ed. Richard Stallman, Daniel Weinreb, David A. Moon. 1984.
  • "Anatomy of a LISP Machine", Paul Graham, AI Expert, December 1988
  • Free as in Freedom: Richard Stallman's Crusade for Free Software

External links[edit]

  • Symbolics website
  • Medley
  • Bitsavers, PDF documents
    • LMI documentation
    • MIT CONS documentation
    • MIT CADR documentation
  • Lisp Machine Manual, Chinual
    • "The Lisp Machine manual, 4th Edition, July 1981"
    • "The Lisp Machine manual, 6th Edition, HTML/XSL version"
    • "The Lisp Machine manual"
  • Information and code for LMI Lambda and LMI K-Machine
  • Jaap Weel's Lisp Machine Webpage at the Wayback Machine (archived 23 June 2015) – A set of links and locally stored documents regarding all manner of Lisp machines
  • "A Few Things I Know About LISP Machines" – A set of links, mostly discussion of buying Lisp machines
  • Ralf Möller's Symbolics Lisp Machine Museum
  • Vintage Computer Festival pictures of some Lisp machines, one running Genera
  • LISPMACHINE.NET – Lisp Books and Information
  • Lisp machines timeline – a timeline of Symbolics' and others' Lisp machines
  • (in French) "Présentation Générale du projet M3L" – An account of French efforts in the same vein
  • Discussion
    • "If It Works, It's Not AI: A Commercial Look at Artificial Intelligence startups"
    • "Symbolics, Inc.: A failure of Heterogenous engineering" – (PDF)
    • "My Lisp Experiences and the Development of GNU Emacs" – transcript of a speech Richard Stallman gave about Emacs, Lisp, and Lisp machines