Логический язык программирования
Логический язык программирования — это язык программирования, позволяющий выполнить описание проблемы в терминах фактов и логических формул, а собственно решение проблемы выполняет система с помощью механизмов логического вывода.
Подпишитесь на рассылку