Спецификация на язык программирования ИИ

Желательно найти реализацию яз. прог-ния, сочетающего в себе органично свойства, ради которых создавались отдельные языки

1. Свойства LISP-a
• доступ к телу программ как структурам данных
• замыкание
• конструкция AUTOLOAD, поиск и автозагрузка программ с новым неизвесным именем
• специальная структура — "свойства процедур"
• функуия EVAL — выполнить из оперативной памяти по адресу, имени (блока)
2. Свойства С
   • предельно эффективный и быстрый код
3. Свойства Prolog-a
   • встроеный бектрекинг (BACKTRECKING); вызыватся как функция — по запросу
   • парадигмы логического программирования
   • механизм унификации (UNIFICATION)
   • передача параметров по образцам
   • отложеные вычисления (ожидание готовности данных для начала вычислений)
   • встроеный грамматический анализатор
4. Свойства Perl-a
   • передаса неогланиченого числа параметров, списком
   • хещи и массив-списка как ... структур данных
   • предельная модульность
   • расширения языка ... пользователем через dll
   • функция EVAL
   • AUTOLOAD как обработка новизны, поскольку имя программы может прийти от пользователя
   • оконный интерфейс Perl / Tk

Практика показала, что с помощю такого языка будет создаватся система обрабатывающая и понимающая естественный язык, и все знания человечества могут войти в такую программу.
ООП парадигма является исключительно часным случаем и не может рассматриватся как что-то значимое.