ACL2
ACL2 Обзор ACL2 ACL2 — это программная система для автоматизированных рассуждений в индуктивных логических теориях. Язык программирования ACL2 является прикладной […]
Объектная система Common Lisp Обзор объектной системы Common Lisp (CLOS) CLOS — это стандарт объектно-ориентированного программирования для Common Lisp, разработанный
Шепелявящая машина История и развитие Лисп-машин Лисп-машины были персональными компьютерами, разработанными для работы с языком программирования Лисп. Они использовались для
Искусство работы с метаобъектным протоколом Обзор книги «Искусство метаобъектного протокола» Книга Грегора Кичалеса, Джима де Ривьера и Дэниела Дж. опубликована
Хэл Абельсон Профессиональная карьера Гарольда Абельсона Американский математик и специалист в области информатики Профессор компьютерных наук и инженерии в MIT
S-выражение Определение и использование S-выражений S-выражения — это язык программирования, используемый для представления данных и программ в Лиспе. Они состоят
Лисп (язык программирования) История и развитие Lisp Lisp был разработан Джоном Маккарти в 1958 году для искусственного интеллекта. Lisp стал