29
Бұл анықтама болашақта енгізілетін мəтін үлгілеріне өте ыңғайлы.
Project Name алаңында"TestGoal" деп алған жөн. Сондай-ақ Multiprogrammer
Mode жалаушасын құрыңыз жəне Name of.PRJ File алаңында тышқанды
басыңыз. Алаңда TestGoal.prj жобасы пайда болады.
2-сурет. Application Expert диалог терезесінің жалпы құрылымы.
Жобаның мақсатын анықтаңыз.
3-суретте көрсетілген Target параметрларын қойған жөн. Енді жоба
файлын құру үшін Create тетігін басыңыз.
4. TestGoal-жобасын құруда қажетті компилятор опцияларын енгізіңіз.
Диалогтық терезе Compiler Options командасын белсендендіру үшін Options-
Project-Compiler Options командасын таңдаңыз.
Warnings ашыңыз. Келесі əрекеттерді орындаңыз.
• Nondeterm қосқышын енгізіңіз. Бұл Visual Prolog компиляторы үшін қажет.
3-сурет.Диалогты терезе Application Expert Target құрылымында.
• Non Quoted Symbols Strong Type Conversion Check и Check Type of
Predicates. жалаушаларын алып тастаңыз. Бұл басшылық берген үлгілерді
орындауда маңызды емес ескерту компиляторларға əсер етеді.
• Компилятор опциясын сақтау үшін ОК тетігін басыңыз.
Бұл əрекеттердің нəтижесінде диалогтық терезе Compiler Options 4-
суреттегідей көрінеді.
30
4-сурет. Компилятор опциясын енгізу.
Редактор терезесінің ашылуы.
Жаңа редакторлық терезе құру үшін менюдегі File-New командасын
қолданамыз. Нəтижесінде жаңа Noname деп аталатын терезе пайда болады.
Визуальды
орталығындағы
–
стандартты
мəтін
редакторы.
Басқа
редакторлардағыдай, курсор мен тышқанды пайдалануға болады. Ол Edit
менюдағы Cut, Copy и Paste, Undo и Redo командаларын қолдайды. Сондай-
ақ, Edit менюында осы əрекеттер үшін «ыстық» комбинация көрсетілген.
Айтылған редактор көмекші VDE (редактор терезесіндегі клавишасы)
жүйесінде орналасқан.
Бағдарламаны енгізу жəне мəтіндеу.
Сіздің жүйеңіз дұрыс жұмыс жасауын тексеру үшін келесі мəтінді
терезеге енгізу қажет:
GOAL
write("Hello world"), nl.
Пролог терминінде бұл GOAL деп аталады жəне ол бағдарламаның
орындалуы үшін осы жеткілікті. GOAL орындау үшін Project|Test Goal
командасын енгізуіңіз керек немесе+ комбинациясын басыңыз.
Егер сіздің енгізген жүйеңіз дұрыс болса, онда монитор экранында 5-
суреттегідей көрініс пайда болады.
5 сурет. "Hello world" Тестік бағдарлама.
31
Бағдарламаның орындалу қорытындысы жоғарғы жақта жеке
терезелерде
орналасады,
(суретте
ол
Inactive
C:\Vip\Doc\Examples\TestGoal\Obj\goal$000.exe деп аталады), жəне оны басқа
GOAL –ды тестілеу кезінде жабу қажет.
Мысалдарды тестілеу.
Мысалдарды C:\Program files\VIP52\DOC\EXAMPLES каталогынан табуға
болады..
Test Goal мысалында тестілеу.
Визуальді өнім орталығында кез-келген мысалды ашып, Test Goal
утилитасын пайдалану арқылы тестілеу жүргізіңіз. Ол үшін келесі
қадамдарды орындаңыз:
1. Visual Prolog визуальді өнім орталығын енгізіңіз.
2. Арнайы TestGoal-проектасын ашу үшін Project|Open Project меню
командасын қолданыңыз.
3. chCCeNN.pro.-нің кез келген файлын ашу үшін File|Open меню
командасын қолданыңыз.
4. Project|Test Goal менюінде енгізілген мысалдарды тестілеу үшін
мынадай командаларды қолдан: (немесе мына клавиштерді басыңыз
+).
Test Goal GOAL бағдарламасында барлық мүмкін болатын
қорытындыларды тауып жəне GOAL бағдарламасында қолданылатын
барлық өзгерістерді көрсетеді.
Test Goal утилиті құрылымына комментарий
Визуальді өнім орталығының утилитасы GOAL-ды арнайы
орындаушы файл бағдарламасы ретінде көрсетеді жəне Test Goal оны
орындауға жібереді. Бұл утилита берілген GOAL кодын іштей кеңейтіп,
енгізілген бағдарламалардың барлық жағдайдан шығуына мүмкіндік
жасауына жəне қолданылған өзгерістердің мағыналарын көрсетеді. Test
Goal утилитасы бұл кодты берілген жобаны компилятор опциясына
қолданады.
Қателерді өңдеу
Егер сіз бағдарлама барысында қателік жіберсеңіз жəне оны
жойғыңыз келсе, онда Errors (Warnings) терезесі пайда болып онда
жіберілген қателердің тізімі беріледі. (6-сурет)
32
6-сурет. Қатені жөндеу.
Қатені екі рет бассаңыз, қатенің алғашқы мəтініне қайта келесіз. Visual
Prolog интерактивті анықтамалық жүйесін шығару үшін клавишасын
басасыз. Анықтамалық терезе ашылғаннан кейін, Search тетігін басыңыз.
Сосын қате нөмірін теріңіз, сонда экранда ол туралы толық ақпарат ала
аласыз.
Пролог жəне құрылым бағдарламасының синтаксистік тілі.
Пролог бағдарламасы төмендегі кеңейтілген құрылымда болады.
domains
/* ...
Домендерді хабарлау
... */
predicates
/* ...
Предикаттарды хабарлау
... */
goal
/* ...
подцель_1, подцель_2, жəне т.б..
... */
clauses
/* ...
Сөйлем (фактілер жəне ереже)
...*/
Пролог бағдарламаның мақсатын шешетін Clauses бөлімінде фактілер
мен ережелер бар,
Predicates секциясында предикаттармен осы предикаттардың аргумент
типтері хабарланады.
Предикаттардың атауларымен алу, жұлдызша пробел символдарын
пайдалануға болмайды.
Предикаттар хабарландыруы келесі форманы құрайды:
Достарыңызбен бөлісу: | 
