Логическое программирование (Logical programming) по ГОСТ 19781–90
Метод построения программ как совокупности логических правил с предварительно определенными алгоритмами для обработки входных данных программы в соответствии с ее правилами [из 48 табл. 1 ГОСТ 19781—90]