Логическое программирование
Логическое программирование - Метод построения программ как совокупности логических правил с предварительно определенными алгоритмами для обработки выходных данных программы в соответствии с правилами
Источник:
ГОСТ 19781-90 ОБЕСПЕЧЕНИЕ СИСТЕМ ОБРАБОТКИ ИНФОРМАЦИИ ПРОГРАМНОЕ Термины и определения