1. Білімді ұсыну мәселесі Білім деп ЭЕМ жүйесі логикалық шығарулар жүргізген кезде сәйкес ережелерге сай қалыптастырылып пайдалана алатын сақтау ақпарат сияқты ұғыммен түсіндіріледі.Мұндағы маңызды мәселе өте кең диапазондағы нақты мазмұнын сипаттау болып табылады, яғни бұл жағдайда сәйкес оның құрамын кейбір формальді ережелерге сәйкес дұрыс өңделуіне кепіл беретін білімді сипаттау формасы пайдаланылу керек. Мұндай мәселе білімді ұсыну мәселесі деп аталады.
2. 1-реттегі предикат логикасы Предикат – бұл P(t1,t2,...,tn) түріндегі конструкция, кейбір объект немесе объект қасиеттері арасындағы байланысты білдіреді. Бұл байланыстардың Р мәнін «предикаттық символ» деп атаса; t1,t2,...,tn предикаттмен байланысты, терма деп аталады.
Термы келесі үш түрлі типте болуы мүмкін:
1) константа
2) айынымалы
3) құырылымдық терм – f(t1,t2,...,tn) функциясы
Мысалы 1. «Волга впадает в Каспийское море» сөйлемін келесі предикат түрінде жазуға болады
впадает (Волга, Каспийское море).
«Впадает» - предикаттық символ; «Волга» және «Каспийское море» - терма-константалар.
Терма-константалар орнына келесі айнымалыны қарастыруға болады :
впадает (Х, Каспийское море)
немесе
впадает (X,Y). Бұл да предикаттар.
2. х + 1 < у қатынасын А(х,у) предикат түрінде жазуға болады. А предикатты символы x + 1 < у, шешімін білдіреді.
3. Резолюция принципі. Ереже қаулы предикат логика толық жиынтығы ереже шығару фазасы нысаны болып табылады - ереже бәрін қабылдауға қиын, бірақ тиімді компьютерде іске асырды. Prolog аудармашының негізгі компоненті жұмыс істеу принципі ереже қаулыға негізделген, проблемаларды шешу үшін әмбебап тетігі болып табылады. Резолюция - бұл нәрсе негізінде қорытынды фразалар теориялар осы жасасу негізі болып табылады.Төмендегідей қаулы принципі болып табылады. Олардың біреуі оң мағынадағы және басқа да теріс болса, екі сөз тіркестерін ruzolvirovany бір-біріне болуы мүмкін.