. Prolog декларатив тилине кирет. Ал предикаттардын формалдуу логик көптүгү болуу менен логиктик эрежелер жана фактыларга тайанып логиктик жыйынтыктарды алуунун жолдорун берет. Эксперттик системдерди иштеп чыгууда колдонулат.
