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

Пән: Валеология
Жұмыс түрі: Реферат
Тегін: Антиплагиат
Көлемі: 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н ISO/IEC JTC1/SC22/WG17 қабылданған 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спе сондықтан - жүйе логикалық программалаудың қағидалары бiлiм базасының жинақталуы және студенттер және мектеп оқушыларының үйренуi үшiн табиғи орталармен санайды.

Синтаксис

термдер

Кiрiспе тiлiндегi программа ұсыныстар арқылы анықталатын қатынастар суреттейдi. Сонымен қатар ұсыныстың нышандық есептеу бағдарлалған кез келген басқа тiлiнде атомдар, сандарда өз кезегiнде бөлшектенетiн термдерден айнымалы және құрылым тұра қалады. Атом, кiшi әрiптен жазылады немесе бас әрiптен жазу керек болатында тырнақшада болады.

atom

'Atom'

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

X is 2 + 2.

Құрылымдар құрылым дөңгелек жақшаға алынған термдердiң жиынтығы соның iшiнде басқа болады. Құрылым дөңгелек жақшалардың алдында орналасатын (функтормен ) атпен белгi қояды.

book('Аты', '2009', 'Спб', authors('Бірінші автор', 'Екінші автор') ) .

Тағы бiр конструкция элементтерi тiк жақшаларда болатын тiзiмдер болып табылады. Кiрiспеге тiзiмдердiң негiзiнде сабақтас тiзiмдер жатады.

List = [a, b, [c, d], e] .

Ережелер

Ұсыныстар таза кiрiспеде хорн дизъюнкттерiмен шектеледi

Қорытынды: - Шарт.

және сол сияқты оқылады: Егер ақиқат дене болса ақиқат болады. Ереженiң денесi ереженiң мақсаттары деп аталған предикаттарға сiлтеме болады. Кiрiстiрiлген предикат, /2лер, екi дәлелдерi бар мақсаттардың конъюнкциясын және анықтайтын бiлдiнетiн оператор ; /2 анықтайтыны дизъюнкцияны.

Айғақтар

Бос денемен ұсыныстары айғақтармен деп аталады. Айғақтың мысалы

Кот(Иван) .

баламалы ережеге ол:

Кот(Иван) :- ИСТИНА.

Сынағыштық

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

Жаңа перспектива

... жалғасы

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