(Machine Translation)
Обробка і розуміння природної мови (Natural Language processing)
Представлення знань (Knowledge Representation)
Отримання знань (Knowledge Acquisition)
Логічне програмування
Такі напрямки як:
математична логіка, теорія моделей
формальні граматики
теорія ймовірності і математична статистика
теорія нечітких множин
знання мови ПРОЛОГ
Список використаної літератури
1. Клоксін У., Мелліш К., Програмування на мові
2. Адаменко А., Кучуків А., Логічне програмування і Visual Prolog
. Братко І., Алгоритми штучного інтелекту на мові Prolog=Programming For Artificial Intelligence.
4.Історія мови Prolog lt; http: //schools.keldysh/sch444/MUSEUM/LANR/Prolog.htmgt;
5.Пашев І., Найбільший спільний дільник на Пролозі.