| Білім базасы
Білімдер базасы - белгілі бір пән саласындағы қатынастарды сипаттайтын фактілер мен ережелер жиынтығы. Оны аудармашы жоғарыдан төменге өңдейді.
Факт
Білім базасының бір элементі - бұл факт.
Факт дегеніміз - терминдер арасындағы сөзсіз шынайы қатынасты орнататын немесе сөзсіз шындықты растайтын сөйлем.
Факт дегеніміз - әрқашан шындық болатын мәлімдеме.
Факт - бұл абсолютті ақиқат.
Факт - факт шарттардың арасында байланыс орнатылғанын айтады.
Факт - ереженің ерекше жағдайы (яғни оның денесі жоқ).
Мысалдар:
woman(mia).
woman(jody). loves(mia, jody).
Ереже
Жаңа фактілерді анықтауға мүмкіндік беретін білім қорының тағы бір элементі - ереже.
Ереже - бұл ереженің шарттары орындалған жағдайда ғана орындалатын мәлімдеме.
Ереже - бұл шарттар орындалған кезде терминдер арасындағы байланысты орнататын сөйлем.
Ереже - шартты ақиқат.
Мысалдар:
happy(mia). % fact listen2Music(mia). % fact listen2Music(yolanda) :- happy(yolanda). % rule
Достарыңызбен бөлісу: | 
