Жасанды интеллект 250-300

Дәстүрлі алгоритмдік тілдерде жоқ Prolog-қа тән қасиеттерқатарына жатады

• көрсетілгеннің барлығы

• мәні керіқайтуы бар шешім шығару механизмы

• іздеу

• үлгіменсалыстырумеханизмы

• оныөзгертугемүмкіндігібарқарапайымбірақмаңыздыдеректерқұрылымы

Логикалық бағдарламалаудың негізгі құрылымдыры – ол логикадан алынған

• термдер мен тұжырымдар

• алгоритмдер мен бағдарламалар

• функциялар мен процедуралар

• операциялар мен операндтар

• айнымалылар мен тұрақтылар

Тұжырымдардың негізгі түрлерінің қатарына нелерді жатқызуға болады

• фактілер

• функциялар

• айнымалылар

• процедуралар

• тұрақтылар

Тұжырымдардың негізгі түрлерінің қатарына жатады

• ережелер

• функциялар

• айнымалылар

• процедуралар

• тұрақтылар

Тұжырымдардың негізгі түрлерінің қатарына қандай командаларды жатқызуға болады

• сұрақтар

• функциялар

• айнымалылар

• процедуралар

• операциялар

Логикалық бағдарламалауда деректердің жалғыз құрылымы бар. Ол – логикалық

• терм

• факт

• ереже

• сұрақ

• мақсат

Логикалық бағдарламалауда деректердің жалғыз құрылымы қалай аталады

• терм

• факт

• ереже

• сұрақ

• мақсат

Нысандар арасында кейбірқатыстың (предикаттың) орыналғандығын білдіру үшін пайдаланады

• фактілерді

• сұрақтарды

• ережелерді

• термдерді

• процедуларды

Қатыста жақшаның ішіндегі аргументтер тұра

Қатыста жақшаның ішіндегі аргументтер тұрақты, нақты нысандардың атаулары. Оларды деп атайды

• атом

• терм

• молекула

• ереже

• факт