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

Мазмұны
КІРІСПЕ
1 Дамыту
2 Кроссплатформенность
3 Архитектура
4 синтаксис
4.1 Термдер
4.2 Ережелер
4.3 Айғақтар
5 Сынағыштық
6 Жаңа перспектива
7 Мысал
8 Ескертулер
9 Әдебиет
10 Сiлтемелер
        
        Мазмұны
КІРІСПЕ
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 және мұндай (анықтаулар ) қорытындының ... ... ... ... басы 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нде 1980-шi жылдардағы жапон ұлттық бағдарламасының өңдеулерiнiң бесiншi ұрпақтың компьютерлерi уақытында.
1980-ш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спе Java үш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н 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птен жазу керек болатында тырнақшада болады.
atom
'Atom'
Бас ... ... ... ... ... программалау тiлдерiнде, олар айырмашылығы болады, нақты жад ұясымен байланбағанында емес, тезiрек жақын ... ... is 2 + ... ... ... жақшаға алынған термдердiң жиынтығы соның iшiнде басқа болады. Құрылым дөңгелек жақшалардың алдында орналасатын (функтормен ) атпен ... ... '2009', ... authors('Бірінші автор', 'Екінші автор')).
Тағы бiр конструкция элементтерi тiк жақшаларда болатын тiзiмдер болып табылады. Кiрiспеге тiзiмдердiң ... ... ... ... = [a, b, [c, d], ... таза к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 қолдануға ... ... ... вебтi бүкiләлемдiк желiнiң дамытуы, белгiлi қалай жобаның перспективасы ресми түрде әдiстермен таралған мәлiметтердiң семантикасына және олардың өңдеуiне ерекше ... ... ... iске ... (FOL ) First-Order Logicтiң тұжырымдамасында классикалық Prologларға [көз 370 күндер көрсетiлмеген] ұлғаймалырақ техниканы сияқты қарау ... өз ... ... ... ... ... ... тұжырымдамалары осыған байланысты пайда болды.
% Қалай қосамын.
%
% Тексерілді GNU Prolog 1.3.1
%
% # gplc --no-top-level gcd.pro
% # ./gcd 22 33 44 ... ... сан, ... сан, ... ... сол НОД (A, 0) = ... 0, A).
% Дұрыс, сол НОД(A, B) = G,
% қашан A>0, B>0 и НОД(B, A % B) = G (% - ... ... B, G) :- A>0, B>0, N is mod(A, B), gcd2(B, N, ... [], A).
gcdn(A, [B|Bs], G) :- gcd2(A, B, N), gcdn(N, Bs, G).
gcdn([A|As], G) :- gcdn(A, As, G).
:- ... ... [N|Nt]) :- ... S), ... Nt).
main :-
argument_list(Args),
str2int(Args, Numbers),
gcdn(Numbers, G),
write(G), nl.
Ескертулер
1) Prologның тiлiнiң тарихы 1 = Concepts of ... ... ... тiлдерiнiң тұжырымдамасының Себеста Р.У.негiзгiсi - 5-шi - баспахана - Вильямс М:, 2001. -- ISBN ... FOL RuleML: The ... Logic Web Language ... ... - ... ең ... ... бөлгiш
2) Кiрiспедегi Нод
Әдебиет
Иван Братко. Вильямс PROLOG = Prolog Programming For Artificial Intelligence - М:нiң тiлiндегi жасанды ... ... 2004. -- 640. -- ISBN ... ... Анатолий Адаменко, Андрей Күшiков және (CDпен) Visual Prolog. -- СПб.:

Пән: Валеология
Жұмыс түрі: Реферат
Көлемі: 7 бет
Бұл жұмыстың бағасы: 200 теңге









Ұқсас жұмыстар
Тақырыб Бет саны
Turbo Prologue-та жабдықтар диспетчері7 бет
Жалпы білім беру мектептерінде математикалық логика элементтерінің оқытылуы және турбо пролог логикалық программалау тілі88 бет
Пролог тіліне жалпы шолу26 бет
Delphi программалау ортасының негізі34 бет
Жасанды интеллект8 бет
Жасанды интеллект жүйесіндегі аспаптық құрылғылар27 бет
Логикалық программалау19 бет
Операторлар және ішкі программалар (Delphi программалау ортасы)22 бет
Сюжет4 бет
Тізімдер , файл және графиканы қолдану. тізімдермен, файлдармен және графикамен жұмыс жасау үшін қолданылатын стандартты предикаттар10 бет


+ тегін презентациялар
Пәндер
Көмек / Помощь
Арайлым
Біз міндетті түрде жауап береміз!
Мы обязательно ответим!
Жіберу / Отправить


Зарабатывайте вместе с нами

Рахмет!
Хабарлама жіберілді. / Сообщение отправлено.

Сіз үшін аптасына 5 күн жұмыс істейміз.
Жұмыс уақыты 09:00 - 18:00

Мы работаем для Вас 5 дней в неделю.
Время работы 09:00 - 18:00

Email: info@stud.kz

Phone: 777 614 50 20
Жабу / Закрыть

Көмек / Помощь