WikiDer > Лисп-машина

Lisp machine

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

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

История

Исторический контекст

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

Начальная разработка

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

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

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

Коммерциализация машинной технологии MIT Lisp

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

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

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

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

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

Symbolics продолжала разрабатывать семейство 3600 и его операционную систему, Роды, и произвел 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 также продавались на рынках, не связанных с ИИ, например компьютерная графика, моделирование и анимация.

Машины Lisp, производные от MIT, работали на диалекте Лиспа с именем Лисп-машина Лисп, происходящий из Массачусетского технологического института Маклисп. Операционные системы были написаны с нуля на Лиспе, часто с использованием объектно-ориентированных расширений. Позже эти машины на Лиспе также поддерживали различные версии Common LispАроматизаторы, Новые вкусы, и Общая объектная система Lisp (ЗАКРЫТЬ)).

Интерлисп, BBN и Xerox

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

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

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

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

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

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

Японские производители предприняли несколько попыток выйти на рынок машин Лиспа: Fujitsu Факом-альфа[11] сопроцессор мэйнфрейма, NTT's Elis,[12][13] Процессор искусственного интеллекта Toshiba (AIP)[14] и LIME от NEC.[15] В результате нескольких университетских исследований были созданы рабочие прототипы, в том числе TAKITAC-7 Университета Кобе,[16] КВАРТИРЫ RIKEN,[17] и EVLIS Осакского университета.[18]

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

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

Конец машин Lisp

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

Наследие

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

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

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

Приложения

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

Были доступны основные коммерческие экспертные системы 80-х годов: Intellicorp's Инженерная среда знаний (KEE), Knowledge Craft, от Carnegie Group Inc., и ART (Инструмент автоматического мышления) от Inference Corporation.[39]

Технический обзор

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

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

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

(defun количество примеров (предикат список)  (позволять ((считать 0))    (долист (я список считать)      (когда (веселье предикат я)        (incf считать)))))

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

Команда: (разбирать (компилировать #'пример-считать))  0  ВХОД: 2 ТРЕБУЕТСЯ, 0 НЕОБЯЗАТЕЛЬНЫЙ      ; Создание ПРЕДИКАТА и СПИСКА  2  ТОЛКАТЬ 0                             ; Создание COUNT  3  ТОЛКАТЬ FP|3                          ;СПИСОК  4  ТОЛКАТЬ Ноль                           ; Создание я  5  ОТВЕТВЛЯТЬСЯ 15  6  НАБОР-К-CDR-ТОЛКАТЬ-МАШИНА FP|5  7  НАБОР-SP-К-АДРЕС-СПАСТИ-TOS SP|-1 10  НАЧНИТЕ-ВЫЗОВ FP|2                    ; ПРЕДИКАТ 11  ТОЛКАТЬ FP|6                           12  КОНЕЦ-ВЫЗОВ-1-ЦЕНИТЬ 13  ОТВЕТВЛЯТЬСЯ-ЛОЖНЫЙ 15 14  ПРИЛОЖЕНИЕ FP|4                     ;СЧИТАТЬ 15  ENDP FP|5 16  ОТВЕТВЛЯТЬСЯ-ЛОЖНЫЙ 6 17  НАБОР-SP-К-АДРЕС SP|-2 20  ВОЗВРАЩАТЬСЯ-SINGLE-КУЧА

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

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

Некоторые более поздние Lisp-машины (такие как TI MicroExplorer, Symbolics MacIvory или Symbolics UX400 / 1200) больше не были полноценными рабочими станциями, а были платами, предназначенными для встраивания в главные компьютеры: Apple Macintosh II и SUN 3 или 4.

Некоторые машины на Лиспе, такие как Symbolics XL1200, обладали обширными графическими возможностями с использованием специальных графических плат. Эти машины использовались в таких областях, как обработка медицинских изображений, 3D-анимация и CAD.

Смотрите также

  • ICAD - пример инженерия, основанная на знаниях программное обеспечение, изначально разработанное на Lisp-машине, которое было достаточно полезным для последующего переноса через Common Lisp в Unix
  • Осиротевшие технологии

Рекомендации

  1. ^ Ньюквист, HP. Создатели мозга, Sams Publishing, 1994. ISBN 0-672-30412-0.
  2. ^ Луна, Дэвид А. (1985). «Архитектура символики 3600». Новости компьютерной архитектуры ACM SIGARCH. Portal.acm.org. 13 (3): 76–83. Дои:10.1145/327070.327133.
  3. ^ Леви, S: Хакеры. Пингвин США, 1984 год
  4. ^ Луна 1985
  5. ^ K-машина
  6. ^ Пространство Моби В архиве 25 февраля 2012 г. Wayback Machine Заявка на патент 4779191
  7. ^ «Вычислительные средства для искусственного интеллекта: обзор существующих и ближайших вариантов». Журнал AI. 2 (1). 1981.
  8. ^ «Экспонаты конференции AAAI-86: новые направления для коммерческого ИИ, реализация машин VLSI Lisp». Журнал AI. 8 (1). 1987.
  9. ^ "Выставки конференции AAAI-86: новые направления коммерческого ИИ, новый поставщик машин Лиспа", Журнал AI, 8 (1), 1987, получено 12 ноября 2011
  10. ^ «Компьютерная алгебра в Норвегии, многопользовательские Lisp-машины Racal-Norsk KPS-5 и KPS-10». Ссылка Springer. Дои:10.1007/3-540-15984-3_297. Цитировать журнал требует | журнал = (помощь)
  11. ^ «Факом Альфа». Компьютерный музей. IPSJ. Получено 12 ноября 2011.
  12. ^ «НТТ ЭЛИС». Компьютерный музей. IPSJ. 9 сентября 1983 г.. Получено 12 ноября 2011.
  13. ^ «32-разрядный процессор LISP для рабочей станции Al ELIS с множественным языком парадигмы программирования, TAO». НИИ. 25 августа 1990 г.. Получено 12 ноября 2011.
  14. ^ «Архитектура микросхемы процессора AI (IP1704)». НИИ. 25 августа 1990 г.. Получено 12 ноября 2011.
  15. ^ "NEC LIME Lisp Machine". Компьютерный музей. IPSJ. Получено 12 ноября 2011.
  16. ^ "Лисп-машина Университета Кобе". Компьютерный музей. IPSJ. 10 февраля 1979 г.. Получено 12 ноября 2011.
  17. ^ "Компьютер с числовым программным управлением RIKEN FLATS". Компьютерный музей. IPSJ. Получено 12 ноября 2011.
  18. ^ «ЭВЛИС Машина». Компьютерный музей. IPSJ. Получено 12 ноября 2011.
  19. ^ "M3L, Лисп-машина". Лимси. Получено 12 ноября 2011.
  20. ^ «MAIA, машина для искусственного интеллекта». Лимси. Получено 12 ноября 2011.
  21. ^ Хафер, Кристиан; Планкл, Йозеф; Шмидт, Франц Йозеф (1991), «COLIBRI: сопроцессор для LISP на основе RISC», СБИС для искусственного интеллекта и нейронных сетей, Бостон, Массачусетс: Springer: 47–56, Дои: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", в Bode, A (ed.), РИСК-Архитектура [Рисковые архитектуры] (на немецком языке), BI
  23. ^ Хафер, Кристиан; Планкл, Йозеф; Schmitt, FJ (7–9 марта 1990 г.), «COLIBRI: Ein RISC-LISP-System» [Colibri: RISC, система Lisp], Architektur von Rechensystemen, Tagungsband (на немецком языке), Мюнхен, DE: 11. ITG / GI-Fachtagung
  24. ^ Легутко, Кристиан; Шефер, Эберхард; Таппе, Юрген (9–11 марта 1988 г.), «Die Befehlspipeline des Colibri-Systems» [конвейер команд системы Colibri], Architektur und Betrieb von Rechensystemen, Tagungsband, Informatik-Fachberichte (на немецком языке), Падерборн, DE: 10. ITG / GI-Fachtagung, 168: 142–151, Дои:10.1007/978-3-642-73451-9_12, ISBN 978-3-540-18994-7
  25. ^ "symbolics.txt".
  26. ^ "Несколько вещей, которые я знаю о машинах LISP".
  27. ^ «Эмуляция CADR». Unlambda. Получено 12 ноября 2011.
  28. ^ "Эмуляция машины Symbolics L Lisp". Unlambda. 28 мая 2004 г.. Получено 12 ноября 2011.
  29. ^ «Проект E3, эмуляция TI Explorer II». Unlambda. Получено 12 ноября 2011.
  30. ^ "Эмулятор Мероко (TI Explorer I)". Unlambda. Получено 12 ноября 2011.
  31. ^ "Эмулятор Nevermore (TI Explorer I)". Unlambda. Получено 12 ноября 2011.
  32. ^ "Исходный код машины MIT CADR Lisp". Каблук. Получено 12 ноября 2011.
  33. ^ «Анонс: PicoLisp в аппаратном обеспечении (PilMCU)».
  34. ^ "Архив PDF-документов Bitsavers". Битсаверы. Получено 12 ноября 2011.
  35. ^ «Документация по символике». Битсаверы. Получено 12 ноября 2011.
  36. ^ "Документация TI Explorer". Битцеверы. 15 мая 2003 г.. Получено 12 ноября 2011.
  37. ^ "Документация TI MicroExplorer". Битцеверы. 9 сентября 2003 г.. Получено 12 ноября 2011.
  38. ^ «Документация Xerox Interlisp». Битцеверы. 24 марта 2004 г.. Получено 12 ноября 2011.
  39. ^ Рихтер, Марк: Инструменты и методы искусственного интеллекта. Ablex Publishing Corporation, США, 1988, Глава 3, Оценка инструментов разработки экспертных систем
Общий

внешняя ссылка