Файлдармен әрекет жүргiзетiн процедуралар. Программа құру

Пролог базасы үлгілерді салыстыру, мәліметтерді иерархиялық құрылыста көрсету және автоматты түрде қайтарудан құрылған механизмдердің шектелген тізбегінен тұрады, осы шағын тізбек ғажайып қуатты және икемді бағдарламалық аппаратты құрайды. Пролог тілінің жетістіктері мынаған негізделген, бір жағынан, ондағы логикалық формулаларды қолдану арқылы көптеген практикалық есептерді жазып шығуға болады, ал екінші жағынан қарапайым интерпретациялары формулалардың табылған және логикалық бағдарламалау жүйесін жеткілікті дәрежеде тиімді жүзеге асыру енгізілген, Пролог әсіресе, ішінде объекттері және олардың арасында қатынастары болатын есептерді шешуге жақсы бейімделген. Тіл құрылысында мәліметтер базасымен қарапайым және тиімді жұмыс істеу мүмкіндіктері қарастырылған, бұл оның негізінде әртүрлі типтегі ақпараттық–анықтама және экспертті жүйелерді құруға мүмкіндік береді.
Бағдарлама құрылысы келесі түрге ие:
/ * бірнеше жолдарда коментарии */
% бір жолда комментарии
CONCTANCTS
% Бұл бөлімде константалар сипатталады.
DOMAINS
% Бұл бөлімде айнымалылар сипатталады.
PREDICATES
% Бұл бөлімде предикаттар анықталады.
CLAUSES
% Бұл бөлімде фактілер мен ережелер анықталады.
DATABASES
% Бұл бөлімде мәліметтердің динамикалық базасының предикаттары анықталады.
GOAL
% Бұл бөлімде сұрақтар, сұраныстар (ішкі) анықталады.
Домендер қарапайым, құрылымды және стандарт емес болып бөлінеді. Стандартты мәндерге жататындар: symbol, chat, integer, real, string, file.
Symbol – мәліметтердің символды типі, жазбаның екі формасын иеленеді: 1. Бөлек жолдан басталатын әріптер, цифрлар, сызу белгілерінің тізбегі. 2. Қос тырнақшаларға алынған символдар қатары.
Chat – бір символ.
integer – - 32768 … 32768 диапазонындағы бүтін сандар.
real – кәдімгі және экспоненциалдық жазба формасында келетін нақты сан.
string – символдар жолы, екі рет жақшаға алынған кез-келген символдар қатары.
file – файлдық айнымалы, оның мәні MS DOS – та файлдарға ат беру ережесі бойынша анықталады. Домендерді сипаттау (жариялау) мысалдары:
DOMAINS
a = integer
b = symbol
Домендердің стандартты типінен басқа, қарапайым және күрделі объектерден тұратын домендер құрылымын қолдануға болады. Бір жарнамада (жариялауда) араларын үтір арқылы бөліп немесе қызметші сөз or арқылы бөліп бірнеше құрылымдарды сипаттауға болады:
DOMAINS
D1, d2, d3 = symbol
f = fruits (d1, d2, d3); p(d3).
Предикаттар бөлімінде ереженің сол бөлігі немесе CLAUSES бөлімінен алынған ереже аты жазылады.

1. В.Н. Агафонов, В.Б. Борщев, А.А. Воронков, Логическое программирование в широком смысле. Пер. с анг. с фр.-М.: Мир, 1988.
2. А.Тей П., Грибуомон и т.д. Логический подход к искусственному интеллекту. –М.: Мир, 1990.
3. И. Братко. Программирование на языке Пролог для искусственного интеллекта. –М.: Мир, 1990.
4. Дж. Стобо. Язык программирования Пролог. –М.: Радио и связь, 1993.
5. Ц. Ин, Соломон Д. Использование Турбо-Пролога: Пер. с анг. – М.: Мир, 1987.
6. К.Кларк. Введение в логическое программирование на Micro Prolog-е.