логическое программирование
математика логическое программирование
логическое программирование состоит в описании задачи совокупностью утверждений на языке логического программирования, т. е. записи знаний в декларативной форме. Решение получается с помощью автоматического вывода в некоторой формальной (дедуктивной) системе. Обычно логическое программирование связывают с языком Prolog Смотри также: programming