Структура на програмата Prolog, факти в Prolog, цели и заявки

лабораторни упражнения и задачи по програмиране и информатика, изпит по информатика

Нормална форма на Backus-Naur

така, БНФ използва следните обозначения:

Символ: = четим като "a-priory" ("Това е"). Вляво от символа е обясняваната концепция, вдясно е обяснителната конструкция. например,

Частите от израза, използвани за обозначаване на синтактичната структура на езика, са затворени в ъглови скоби; в нашия пример това и .

Символ | означава булево или и се използва за отделяне на различни еквивалентни алтернативни обяснения на дефинираната концепция.

Използвайки този символ, можете например да дефинирате десетична цифра:

Ако част от конструкция е затворена в квадратни скоби [], това означава, че тя не е задължителна, т.е. може да отсъства.

показва, че цяло число може да бъде обяснено като положително цяло число, което може или не може да бъде предшествано от знак минус.

Символът * показва, че синтактичната структура пред него може да се повтаря произволен брой пъти (започвайки от нула и нагоре). Понякога вместо * се използват къдрави скоби (), които по същество са еквивалентни на него.

Нека отново дефинираме положително цяло число, използвайки BNF нотация:

Което означава, че положително цяло число се състои от една или повече цифри.

Структура на програма Пролог

Стандартна програма Prolog се състои от следващите раздели:

Константи

Незадължителен раздел за постоянна дефиниция.

Домейни

Раздел за описание на домейн (подобно на описанието на типовете данни).

Раздел, описващ предикати (подобно на раздела, описващ процедури и функции); е по същество модел за писане на факти в раздела Клаузи.

Клаузи

Твърдения (аналог: основно тяло на програмата).

Цел

Целева декларация - "цел".

домейни a = символ предсказва харесвания (a, a) клаузи харесвания (mary, ябълки).

Отидете в диалоговия прозорец (меню Run) и въведете заявката:

В резултат на това прозорецът трябва да показва отговора вярно

Факти и правила

Често програма, написана в Prolog, се нарича база от знания.

Правилата за изречения са както следва:

Където A е заглавието или главата на изречението и B1. Bn е тялото.

Факт обикновено заявява, че се изпълнява някаква връзка между обекти и съдържа:

• отношения
• обект или обекти, затворени в скоби (аргументи)
• завършва с точка (.)

Пример за факт:

харесвания (сметка, кучета).

където харесванията са факт
сметка, кучета - аргументи на факта, между които е изпълнено отношението (харесвания)

Защото релация в математическата логика обикновено се нарича предикати, тогава понякога ще използваме понятието "предикат" вместо "факт" или "правило".

---