Языки логического программирования.

1. Programmation en Logique(Prolog)

2.Planner- функционально-логический язык программирования, схожий по своему синтаксису с Лиспом.

Был разработан Карлом Хьюитом в Лаборатории Искусственного Интеллекта Массачусетского Технологического Института. Первая публикация с описанием языка появилась в 1969 г.

3. QA-4

4. Conniver

5.  QLISP 6. Ether.

Литература

1. Хювёнен Э., Сеппенен И. Мир Lisp’а. В 2-х томах. М.: Мир, 1990.

2. Бёрдж В. Методы рекурсивного программирования. М.: Машиностроение, 1983.

3. Филд А., Харрисон П. Функциональное программирование. М.: Мир, 1993.

4. Хендерсон П. Функциональное программирование. Применение и реализация. М.: Мир, 1983.

5. Джонс С., Лестер Д. Реализация функциональных языков. М.: Мир, 1991.

6. Henson  M. Elements of functional languages. Dept. of CS. University of Sassex, 1990.

7. Fokker J. Functional programming. Dept. of CS. Utrecht University, 1995.

8. Thompson S. Haskell: The Craft of Functional Programming. 2-nd edition, Addison-Wesley, 1999.

9. 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