- Главная
- Словарь на финансовую тему
- Информационные технологии
Логический язык программирования
Логический язык программирования - язык программирования, позволяющий выполнить описание проблемы в терминах фактов и логических формул, а собственно решение проблемы выполняет система с помощью механизмов логического вывода.