Ретроперспектива и перспектива развития

Лисп - системы

---

Промышленный стандарт Лиспа "де - факто" (Коммон Лисп)

Наиболее развитые:

• InterLisp - разделение времени
• ZetaLisp
• MacLisp - разделение времени

Остальные:

• FRANZLISP
• USI LISP
• AutoLisp (в САПР AUTOCAD)
• μLisp - простейший

Другие функциональные языки

---

• Рефал (рекурсивных функций алгоритмический язык; вычислительная модель - алгоритма Маркова)
• Hope( почти строго функциональный, в котором функции определяются системами равенств (а не одним равенством как в Лиспе))
• ML(почти строго функциональный язык, в отличии от Lisp имеет статический аналииз типов);
• Lucid (ФЯ с итерацией особого вида)
• FP-языки (с функциями только однго аргумента);
• SASL → KRC → Miranda (нестрого функциональный;с полиморфными типами и смешанными "ленивыми " вычислениями)

Функциональные языки, использующиеся в СИИ (Системах Искуственного Интеллекта)

---

• Языки ИИ на основе Лиспа:

  • planner (PLANNER) - К. Хьюитт
  • QLISP
  • KRL (Bobrow , Winoglad)
  • FRL (Roberts)

• Языки ЭС(эксперементных систем и их оболочек):

  • ANALIST(ведение боя) FRANZLISP [военное дело]
  • PROSPECTOR (поиск месторождений) INTERLISP [геология]
  • REACTOR ( диагностика атомных реакторов) LISP [инженерия]
  • CODES (определение концептуальной модели Баз Данных) USI LISP [информатика]
  • IDT (ремонт ЭВМ PDP -11) FRANZLISP [компьютерные системы]
  • LES (заправка челночного космического корабля жидким кислородом в центре Кеннеди) ZETA_LISP [космос]
  • MACSYMA (символьные преобразования в алгебре) LISP [математика]
  • MYSIN (набор антимикробной терапии) LISP [медицина]
  • DENDRAL (вывод молекулярной структуры неизвестных соединений) InterLisp [химия]
  • EVRISCO (обучение эвристикам, в том числе проектирование СБИС) INTERLISP

• Языки СИИ:

  • PERSONAL CONSULTANT (LISP)
  • KEE (система инженернии знаний)
  • PICON (интеллектуальное управление производственным прцессом) [на Лисп-машине LAMBDA]

Проект ЭВМ пятого поколения (LISP-процессоры)

---

Для индивидуальных компьютеров будут созданы соответствующие периферийные машины (LISP-машины) (Речь идет об аппаратной поддержке языка Лисп - не фон-Неймановская архитектура).

Лисп - системы для ПК и АРС (Автоматизированные Рабочие Станции)

---

• Golden Common Lisp 4.0 (фирма Gold Hill Inc.(США)) - для Windows - IBM PS/2
• Allegro Common Lisp 4.0 (фирма Franz Inc.(США)) - для АРС и UNIX
• Common Lisp 4.0 (фирма Lucid Inc.(США)) - для АРС: Appolo, Sun, Dec, IBM, Prime

Последняя модификация: 22.08.05 22:32

Не проходите мимо! Оставьте Ваш комментарий в форуме! >>>