Пролог негіздері

Пролог - (Programmation en Logique французша) кiрiспе - бiрiншi дәреженiң предикаттарының логикасының iшкi жиыны ұсынатын өзiменнiң тiл және логикалық программалаудың хорн дизъюнкттерiнiң математикалық логикасының предикаттарының тiл негiзделген жүйелерi.
Айғақтар, логикалық қорытындының ережесi және сұрау салулар кiрiспе тiлде негiзгi ұғымдармен, мүмкiндiк беретiн бiлiм базасы, логикалық қорытындының процедурасы және шешiм қабылдаулар суреттеуге болып табылады.
Кiрiспе тiлдегi айғақтары нақты мәндерi бар логикалық предикаттармен суреттеледi. Кiрiспедегi ережелерi логикалық шешiмдерi бар логикалық қорытындының ережелерiнiң формасында және логикалық шарттардың тiзiмдерiмен жазылады.
Кiрiспенiң интерпретаторындағы ерекше рөл логикалық программалауды жүйеге ақиқат және жалған жауаптарды шығаратын бiлiм базаларына нақты сұрау салулар ойнайды. Кiрiспенiң айнымалы дәлелдер ретiнде жасалған жүйелерiмен қорытылған сұрау салулары үшiн шындық қорытылған мәлiметтер және қорытындының ережелерiнiң растауына нақты мәлiметтердi шығарады.
Кiрiспе тiлдегi бiлiм базаларындағы айғақтар (өнер-бiлiм ) нақты мәлiметтердi ұсынады. Кiрiспе тiлдегi қорытылған Хабар-ошарлар және өнер-бiлiм нақты айғақтар және қорытылған мәлiметтердiң үстiнде (анықтаулармен ) логикалық қорытындының ережелерi және мұндай (анықтаулар ) қорытындының ережелерiнiң жиындарымен менменседi.
Тiлдiң тарихының басы 1970-шi жылдарға жатады. Сонымен бiрге есептердiң шешiмiнiң iздестiруi, қайтарумен және бейiмдеумен iздестiрудi тетiкпен кiрiспе бағдарлама ретiнде кейбiр тапсырманың сипаттамасы немесе бiлiм базасы және өзiм қабылдап логикалық қорытынды өндiрiп алатын ресми түрде программалау тiл бола пайдалана отырып.

Иван Братко. Вильямс PROLOG = Prolog Programming For Artificial Intelligence - М:нiң тiлiндегi жасанды ақылдың алгоритмдары, 2004. — 640. — ISBN 0-201-40375-7.
Логикалық программалау Анатолий Адаменко, Андрей Күшiков және (CDпен) Visual Prolog. — СПб.: «Бхв - Петербург, 2003. — С. 990. — ISBN 5-94157-156-9.

Пән: Валеология
Жұмыс түрі: Реферат
Тегін: Антиплагиат
Көлемі: 9 бет
Таңдаулыға:

Мазмұны
КІРІСПЕ
1 Дамыту
2 Кроссплатформенность
3 Архитектура
4 синтаксис
4.1 Термдер
4.2 Ережелер
4.3 Айғақтар
5 Сынағыштық
6 Жаңа перспектива
7 Мысал
8 Ескертулер
9 Әдебиет
10 Сiлтемелер

КІРІСПЕ
Пролог - (Programmation en Logique французша) кiрiспе - бiрiншi дәреженiң предикаттарының логикасының iшкi жиыны ұсынатын өзiменнiң тiл және логикалық программалаудың хорн дизъюнкттерiнiң математикалық логикасының предикаттарының тiл негiзделген жүйелерi.
Айғақтар, логикалық қорытындының ережесi және сұрау салулар кiрiспе тiлде негiзгi ұғымдармен, мүмкiндiк беретiн бiлiм базасы, логикалық қорытындының процедурасы және шешiм қабылдаулар суреттеуге болып табылады.
Кiрiспе тiлдегi айғақтары нақты мәндерi бар логикалық предикаттармен суреттеледi. Кiрiспедегi ережелерi логикалық шешiмдерi бар логикалық қорытындының ережелерiнiң формасында және логикалық шарттардың тiзiмдерiмен жазылады.
Кiрiспенiң интерпретаторындағы ерекше рөл логикалық программалауды жүйеге ақиқат және жалған жауаптарды шығаратын бiлiм базаларына нақты сұрау салулар ойнайды. Кiрiспенiң айнымалы дәлелдер ретiнде жасалған жүйелерiмен қорытылған сұрау салулары үшiн шындық қорытылған мәлiметтер және қорытындының ережелерiнiң растауына нақты мәлiметтердi шығарады.
Кiрiспе тiлдегi бiлiм базаларындағы айғақтар (өнер-бiлiм ) нақты мәлiметтердi ұсынады. Кiрiспе тiлдегi қорытылған Хабар-ошарлар және өнер-бiлiм нақты айғақтар және қорытылған мәлiметтердiң үстiнде (анықтаулармен ) логикалық қорытындының ережелерi және мұндай (анықтаулар ) қорытындының ережелерiнiң жиындарымен менменседi.
Тiлдiң тарихының басы 1970-шi жылдарға жатады. Сонымен бiрге есептердiң шешiмiнiң iздестiруi, қайтарумен және бейiмдеумен iздестiрудi тетiкпен кiрiспе бағдарлама ретiнде кейбiр тапсырманың сипаттамасы немесе бiлiм базасы және өзiм қабылдап логикалық қорытынды өндiрiп алатын ресми түрде программалау тiл бола пайдалана отырып.

Дамыту
Кiрiспеге мүдденi көтерiлiп әлденеше тынды, дiлгiрлiк қатты неприятиесiмен алмасты. Кiрiспенi тiлге мүдде, тiл ретiндеге келешек өте жоғары тұрғызылды, өңдеушiлер парасаттар жоғары деңгейлi компьютерлердiң ұйымдасуына алып келетiн жаңа қағидалар кiрiспе арқылы сипаттауға болатынын үмiттенетiнде 1980-шi жылдардағы жапон ұлттық бағдарламасының өңдеулерiнiң бесiншi ұрпақтың компьютерлерi уақытында.
1980-шi жылдардағы кiрiспе тiл бiлiм базасының математикалық логика, қағида логикалық программалауы және жобалаудың элементтерiнiң зерттеуi және сарапшылық жүйелердiң үлгiлерi үшiн информатиканың қатарда кеңес жоо және мектеп оқулықтары қосылды. Осы мақсатта IBM PCке және кеңес мектеп компьютерлерiнiң қатары кiрiспенiң оқу орыс тiлдi интерпретаторлары iске асырылды.
Айғақтар кiрiспе тiлде нақты мәндерi бар логикалық предикаттардың формаларында суреттеледi. Қорытындының ережесi ақпаратты өңдеуiнiң бiлiм базасы және процедураларының үстiнде логикалық қорытындының ережелерiнiң предикаттардың тiзiмiнiң түрiнде анықтауы бар логикалық предикаттармен суреттеледi.
Қайталану түңiлген болжамдары кiрiспе, неткенмен дәл қазiр, әртүрлi елдерде дамуды жалғастырады және жаңа технологиялар және тұжырымдаманың өзiне, сонымен бiрге тегеурiндi программалауды парадигма тартып алады. Бағыттардың (соның iшiнде және Ресейде) тiлдiң дамытулары бiрi жеке алғанда зияткерлiк уәкiлдердiң тұжырымдамасын жүзеге асырады.

Кроссплатформенность
Кiрiспе Java үшiн соның iшiнде барлық белгiлi басқару жүйелерi және платформалар үшiн iс жүзiнде iске асырылған және.NET. Басқару жүйелерiнiң санына жылжымалы платформалар үшiн мэйнфреймдер, Unix, Windows, OSтiң барлық үй-iшiсi үшiн OSтар кiредi.

Архитектура
Тiлдiң көп қазiргi iске асырулары ооп есебiнен iшкi кеңейтуi болады - архитектура. Сонымен бiрге шешiмдердiң проприетарныхынан басқа кiрiспе еркiн iске асырулар бар болады. Тiл үшiн ISOIEC JTC1SC22WG17 қабылданған ISO-шi стандарт бар болатыны маңызды.
Тiлдiң негiздi қағидасы бағдарламаның ұсынысының маңызы бiрдейлiгi және тiлдiң бекiтулерi бiр уақытта деректер қорына жазулармен, ұқсас жазулары, және олардың өңдеуiнiң өздiң әдiс жүк көтергiш ережелермен де болып табылған (ресми түрделiк ) мәлiметтер болып табылады. Бұл сапалардың тiркесi (және мәлiметтер және ереже) өнер-бiлiмнiң кiрiспенiң жүйесiнiң жұмысының шарасы бойынша жинақталғанын алып келедi. Кiрiспе сондықтан - жүйе ... жалғасы

Сіз бұл жұмысты біздің қосымшамыз арқылы толығымен тегін көре аласыз.