Lisp (programming language)

Вики

Лисп-машина

/

Шепелявящая машина История и развитие Лисп-машин Лисп-машины были персональными компьютерами, разработанными для работы с языком программирования Лисп.  Они использовались для […]

Вики

ИИ зима

/

Искусственный интеллект зимой История искусственного интеллекта Искусственный интеллект (ИИ) — это область исследований, которая стремится создать машины, способные выполнять задачи,

Вики

ACL2

/

ACL2 Обзор ACL2 ACL2 — это программная система для автоматизированных рассуждений в индуктивных логических теориях.  Язык программирования ACL2 является прикладной

Вики

Интерлисп

/

Интерлисп История Interlisp Interlisp основан на языке программирования Lisp и разработан в 1966 году.  В 1970 году BBN LISP внедрен

Вики

Система проверки прототипа

/

Система верификации прототипа Основы PVS PVS — это язык спецификаций с автоматизированной проверкой теорем, разработанный в SRI International.  Основана на

Вики

S-выражение

/

S-выражение Определение и использование S-выражений S-выражения — это язык программирования, используемый для представления данных и программ в Лиспе.  Они состоят

Вики

Цикл чтение-оценка-печать

/

Цикл чтения–оценки–печати Основы REPL REPL — это интерактивная среда для программирования, которая оценивает вводимые пользователем данные и возвращает результаты.  REPL

Вики

Общий Лисп

/

Обычная шепелявость Основы программирования на Common Lisp Common Lisp — это язык программирования, который сочетает в себе функциональное и объектно-ориентированное

Вики

ИСЛИСП

/

ИСЛИСП ISLISP — стандартизированный язык программирования семейства Lisp.  Цель стандартизации — преодоление разрыва между диалектами Lisp.  ISLISP основан на Common

Вики

Кложур

/

Клоджуре Clojure — функциональный язык программирования, разработанный Ричем Хики в 2007 году.  Язык основан на Lisp и использует JVM для

Прокрутить вверх