10.1-кесте
Constants
Константаларды жариялау
[GLOBAL] domains
Стандартты емес немесе құрамалы мәліметтер типін жариялау
секциясы. Болмау да мүмкін
[GLOBAL] database
Ішкі мәліметтер қорымен жұмыс істеу үшін міндетті емес
предикаттарды жариялау секциясы
[GLOBAL] predicates
Предикаттарды жариялау секциясы
Clauses
Ережелер мен фактілерді жариялау секциясы
Goal
Ішкі мақсатты жариялау секциясы. Болмау да мүмкін
113
10.2-кесте
Мәліметтер типі
Symbol
жүйенің ішкі сиволдар кестесіне енгізілген жол
String
ұзындығы 64 Кбайт-қа дейін символдар тізбегі
Char
1-байтты символдар
Integer
2-байтты таңбасы бар бүтін сандар
Real
8-байтты қалқыма нүктесі бар сандар
Ref
мәліметтер қорының сілтеме сандары
Reg
микропроцессордың регистры: AX, BX, CX, DX, SI, DI, DS және ES
File
файл
10.3-кесте
Операциялар
Арифметикалық
+, -, *, /, mod, div
Реляционды
>, <, =, >=, <=, <>, ><
Математикалық функциялар
sin, cos, tan, arctan, ln, log, exp, sqrt, round, trunc, abs
Логикалық
and («,»), not, or, ! (кесіп тастау)
10.4-кесте
Енгізу – шығару
Write
экранға шығару
Read
консольден оқу
Параметрлер:
%d – кәдімгі ондық сан (chars және integers)
%u – таңбасы жоқ бүтін сан (chars және integers)
%R – мәліметтер қорының сілтеме саны (database reference numbers)
%X – ұзын 16-ретті сан (strings, database reference numb)
%x - 16-ретті сан (chars және integers)
%s – ағындар (symbols және strings)
%c - символ (chars және integers)
%g – ең қысқа форматта жазылған нақты сандар (default for reals)
%e – экспоненциалды түрде жазылған нақты сандар
%f – бекітілген нүктесі бар форматта жазылған нақты сандар
%lf – (fixed reals)
\n – жаңа жол
\t - табуляциялау
\nnn – nnn коды бар символ
10.5-кесте
Turbo Prolog-ң стандартты предикаттары
Стандартты предикаттар алып түседі
Енгізу / шығару
Файлдық жүйе
Экранмен жұмыс
істеу
Терезелі жүйе
Жолдарды ӛңдеу
Типтерді ӛзгерту
МҚ жұмыс істеу
Графикамен жұмыс
істеу
ОЖ жұмыс істеу
Тӛмен деңгейлі
Бағдарламаның мысалы (Turbo Prolog тілінде):
114
domains
person, activity = symbol
predicates
likes (person, activity)
clauses
likes (ellen, tennis)
likes (john, football)
likes (torn, baseball)
likes (bill, X) if likes (torn, X)
goal
likes (X,Y)
Жұмыс нәтижесі (айнымалылар мәндерінің қатынастар есімі бойынша
айқындауы орын алды):
X = ellen
Y = tennis
X = john Y = football
X = torn Y = baseball
X = bill Y = baseball
Достарыңызбен бөлісу: |