logical programming Программирование, состоящее в описании решаемой задачи на точном логическом языке, т.е. указании, что необходимо сделать, не уделяя существенного внимания тому, как это нужно сделать. rule - oriented programming Подход к программированию, при котором программа задается совокупностью правил, последовательность применения которых в явном виде не указывается. Правила содержат либо условие и действия, которые должны быть выполнены в случае истинности этого условия, либо условие и совокупность других условий, достаточных для истинности этого условия.