жасанды интеллек 250-306

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

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

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

• іздеу

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

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

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

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

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

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

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

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

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

• фактілер

• функциялар

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

• функциялар

• ережелер

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

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

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

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

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

• функциялар

• сұрақтар

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

• сұрақ

• ереже

• терм

• факт

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

• терм

• факт

• ереже

• сұрақ

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

• сұрақтарды

• фактілерді

• ережелерді

• термдерді

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

• ереже

• молекула

• терм

• атом

Фактілерде предикаттармен атомдардың атаулары

• кіші әріптен басталуы міндетті емес

• бас әріптен басталуы міндетті емес

• кіші әріптен басталуы тиіс

• бас әріптен басталуы тиіс