Зертханалық жұмыс 15-1. (зс).

Логикалық амалдар. Логика, логикалық байланыстар және ақиқаттылық кестелер негіздері. Логикалық тұжырымдау принциптері. Логикалық амалдармен жұмыс істеу.

Visual Prolog программасы

Visual Prolog синтаксисі қасиеттер және өзара байланыстарды анықтау үшін жасалған. Көбінесе (айғақтар және ереже) ұсыныс, предикаттар, айнымалы және мақсаттарды қарастардыңыз.

Прологтың басқа болжамдардан айырмашылықтары, Visual Prolog - бақылаушы типтердің компиляторы: әрбiр предикат үшiн қолданылатын объекттердiң типін хабарлайды. Сонымен бiрге, Visual Prolog бағдарламаларына бұл типтерді орындайтын жылдамдығы машина кодтарына сәйкес келуге мүкіндік береді,ал басқа жағдайда - Pascalдың тiлдерiндегi ұқсас бағдарламалардың жылдамдығынан асады.

Енді Visual Prolog программасының негізгі төрт бөлімін талқылаймыз – жарияланатын және сипатталатын предикаттар,сонымен қатар аргумент типтері ,берілген және анықталған ережелер программаның мақсаты болып табылады. Бұдан әрi ережелердiң синтаксисiн және хабарламаларды толығырақ қарап шығамыз . Соңында ,программаның басқа да бөлiмдерiн қысқаша қорытындылап сипаттаймыз: деректер қоры, тұрақтылар, әр түрлi глобалдi бөлiмдер және компилятордың нұсқауы.

Visual Prolog – програмасының негізгі бөлімдері:

Prolog Visual тiлiндегi программа төрт негiзгiзгі программалық реттен тұрады. Оларға мыналар жатады:

• clauses (ұсыныстар) бөлiмі;

• predicates (предикаттар) бөлiмі;

• domains (домендер) бөлiмі;

• goal (мақсаттар) бөлiмі.

Clauses бөлiмі- Visual Prolog программасының негізгі бөлігі; нақ осы бөлімде айғақтар және ережелер жазылады, Visual Prolog операциясы программаның мақсатын шешуге тырысады.

Predicates бөлiмі бұл (Visual Prologта кiрiстiрiлген предикаттарды жарияламауға да болады) предикаттарды және домендердің (түрлер) аргументтері жарияланады.

Domains бөлiмі сіздер қолданылатын барлық домендерді хабарлау үшiн қызмет көрсетедi, олар (стандарты домендерді жариялау міндетті емес) Visual Prolog-тың стандартты домендері бола алмайды.

Goal бөлiмі - бұл сiзге Visual Prolog-программасының мақсатын сыйғызып алады.

Ұсыныстардың бөлiмi

Программаны құру барысында сіз clauses -тың (ұсыныстар) бөлiмiнде барлық айғақтар мен ережелерлерді сыйғыза аласыз. Негізгі тарауда программадағы ұсыныстарға(айғақтар және ережелер) басты назар аудырылады: олар қалай жазу керектігін білдіреді.

Егер сiз айғақтарды және ережелерді олардың прологта көрсетілуін түсiнсеңiз, онда сiз clausesтың бөлiмiндегi әрбiр нақты предикат үшiн барлық ұсыныс бiрге орналасуы керек екендігін бiлесiз. Бiр предикатты анықтайтын ұсыныстардың тiзбегi процедура деп аталады.

(clauses бөліміндегі бірінші ұсыныстан бастап) Visual Prolog әрбiр айғақты және әрбiр ереженi табуға ұмтылады. Төмен қарай clausesтың бөлiмi, ол бірінші ішкі нұсқауға ұсынысты шешімінің бір бөлігі ретінде орнатады. Егер келесi ұсыныс логикалық жолдың бөлiгi болып табылмаса, онда Visual Prolog қойылған нұсқағышқа қайтарылады және кезектi салыстыруды (бұл процесс қайтарумен iздестiру деп аталады) нұсқағышқа орын алмастыра жақындай iздейдi.