Языки логического программирования.
1.
Programmation
en Logique(Prolog)
2.Planner- функционально-логический язык
программирования,
схожий по своему
синтаксису с Лиспом.
Был
разработан Карлом
Хьюитом в
Лаборатории Искусственного
Интеллекта Массачусетского
Технологического Института.
Первая публикация с описанием языка
появилась в 1969 г.
3.
QA-4
4.
Conniver
5.
QLISP
6.
Ether.
Литература
Хювёнен Э.,
Сеппенен И. Мир Lisp’а. В 2-х томах. М.:
Мир, 1990.
Бёрдж В. Методы
рекурсивного программирования. М.:
Машиностроение, 1983.
Филд А.,
Харрисон П. Функциональное
программирование. М.: Мир, 1993.
Хендерсон П.
Функциональное программирование.
Применение и реализация. М.: Мир, 1983.
Джонс С.,
Лестер Д. Реализация функциональных
языков. М.: Мир, 1991.
Henson M. Elements of
functional languages. Dept. of CS. University of Sassex, 1990.
Fokker J.
Functional programming. Dept. of CS. Utrecht
University, 1995.
Thompson S.
Haskell: The Craft of Functional Programming. 2-nd
edition, Addison-Wesley, 1999.
Bird R. Introduction to
Functional Programming using Haskell. 2-nd edition, Prentice Hall
Press, 1998.
10.R.Pickering,
Foundations of F#, A-Press, 2008.
11.D.Syme,
A.Granicz, A.Cisternio. Expert F#. A-Press, 2008
12.E.
Chailloux,
P.
Manoury,
B.Pagano.
Разработка программ с помощью
Objective
Caml. O’Reilly