Математическая логика и теория алгоритмов

1 pOAHTeflb(naM,Z)vANS(Z), (3.31) получено из (3.26) и (3.24), 1 npeAOK(6o6,X)vANS(X), (3.32) получено из (3.31) и (3.10), 1 poдитeль(бoб,Y)vl пpeдoк(Y,X)vA.NS(X), (3.33) получено из (3.32) и (3.25), 1 poAHTenb (X,Y)vl poAliTenb (6o6,X)vANS(Y), (3.34) получено из (3.33) и (3.24), 1 poдитeль(пaт,Y)vANS(Y), (3.35) получено из (3.34) и (3.14). Затем из (3.35) и (3.15) получим: АМ8(джим). Отметим, что в канодом из рассмотренных случаев выполняет­ ся следующее; 1) в первой выполняемой резолюции используется дизъюнкт, построенный для вопроса; 2) в каждой последующей резолюции должна участвовать резольвента предыдущей резолюции. Целью данного пособия не является изложение языка ПРОЛОГ. Эти параграфы только иллюстрируют, как работает логика в многообещающем языке ПРОЛОГ. Язык ПРОЛОГ находит существенное использование: - при описании и решении задач на графах; - в экспертных системах (системы испытаний, медицинская ди­ агностика, нахождение неисправностей в технических системах); - в системах искусственного интеллекта (решение задач, доказательство теорем, различные игры, шахматы, кубики); - при создании динамических реляционных баз данных; 127