Intellektual tizimlar


TEMA 1. YaZЫKI LOGIChESKOGO PROGRAMMIROVANIYa



Download 5,12 Mb.
bet94/118
Sana10.06.2022
Hajmi5,12 Mb.
#651729
1   ...   90   91   92   93   94   95   96   97   ...   118
Bog'liq
Тафаккурли ахб техн кулланилиши 2022

TEMA 1. YaZЫKI LOGIChESKOGO PROGRAMMIROVANIYa
1.1. Yazыk PROLOG
1.1.1. Predisloviye. Pri ispolzovanii EVM dlya resheniya zadach mojno vыdelit dva vzaimosvyazannыx sposoba predstavleniya znaniya:
1) prosedurnoye predstavleniye, t. ye. opredeleniye algoritma obrabotki dannыx;
2) deklarativnoye predstavleniye, t. ye. opredeleniye otdelnыx ponyatiy, ix sostoyaniya v konkretnыye momentы vremeni i svyazey mejdu nimi.
Tradisionnыye algoritmicheskiye yazыki (Paskal, Si, Fortran) yavlyayutsya prosedurnыmi, poskolku ix sel – opisaniye algoritma. No oni soderjat i deklarativnыye komponentы (opisaniye peremennыx).
V yazыke PROLOG (PROgrammirovaniye LOGicheskoye), naprotiv, osnovnoy yavlyayetsya deklarativnaya komponenta, tak chto on prednaznachen ne stolko dlya obrabotki dannыx, kak dlya obrabotki faktov i deklarativnыx pravil. Faktы predstavlyayut soboy logicheskiye formulы. Baza znaniye (BZ) zadayetsya sovokupnostyu takix formul. Logicheskiye metodы obespechivayut polucheniye novыx faktov iz faktov, predstavlennыx v BZ.
V prosedurnыx yazыkax programmist doljen opisat dlya kompyutera prosess resheniya zadachi shag za shagom. V protivopolojnost etomu v deklarativnom yazыke PROLOG programmist opisыvayet samu problemu i osnovnыye pravila yeye resheniya, ostavlyaya za sistemoy poisk konkretnыx deystviy, privodyaщix k resheniyu. Poetomu PROLOG spravedlivo schitayetsya yazыkom boleye vыsokogo urovnya, chem Si ili Paskal. Vneshnim vыrajeniyem etogo fakta yavlyayetsya to, chto tekst programmы na PROLOGe mojet bыt v desyat raz koroche teksta programmы na Paskale, reshayuщyey tu je zadachu (xotya, konechno, yest problemы, neudobnыye dlya PROLOGa, no legko opisыvayemыye na Paskale ili drugom prosedurnom yazыke).
PROLOG mojet ispolzovatsya pri razrabotke ekspertnыx sistem, a takje dlya sleduyuщix zadach:

  • dokazatelstva teorem i vыvoda resheniy v zadachax;

  • sozdaniya paketov simvolnoy obrabotki pri reshenii uravneniy, differensirovanii, integrirovanii i t. d.;

  • razrabotki uproщyennыx versiy sistem II;

  • sozdaniya yestestvenno-yazыkovыx interfeysov dlya suщyestvuyuщix programm;

  • perevoda tekstov s odnogo yazыka na drugoy, v tom chisle – s odnogo yazыka programmirovaniya na drugoy.

PROLOG poyavilsya v 1973 g., kogda gruppa issledovateley iz Marselskogo universiteta pod rukovodstvom Alana Kolmeroe, sozdala programmu dlya dokazatelstva teorem, kotoraya bыla realizovana na yazыke Fortran. Vposledstvii etot produkt poluchil nazvaniye PROLOG. Pervыye godы PROLOG ne naxodil shirokogo prakticheskogo primeneniya. Odnako v 1981 g. bыlo ob’yavleno o yaponskom proyekte sozdaniya EVM pyatogo pokoleniya, v osnove programmnogo obespecheniya kotorыx predpolagalos ispolzovat logicheskoye programmirovaniye. Etot proyekt sozdaniya EVM dlya obrabotki znaniy vыzval bolshoy rezonans vo vsem mire. Poyavilis kommercheskiye realizasii PROLOGa, takiye kak CProlog, Quintus Prolog, Silogic Knowledge Workbench, Turbo Prolog i dr.
Naibolshuyu populyarnost poluchila sistema program-mirovaniya Turbo Prolog – odin iz produktov izvestnoy firmы Borland. V 1988 g. bыl vыpuщyen Turbo Prolog 2.0, poluchivshiy shirokoye rasprostraneniye. Firma Borland rasprostranyala etu versiyu do 1990 g., a zatem kompaniya PDC priobrela prava na etot produkt, poluchivshiy nazvaniye PDC Prolog. Pozdneye bыl vыpuщyen Visual Prolog, osnaщyennыy standartnыmi vozmojnostyami dlya bыstrogo proyektirovaniya interfeysa.
V dekabre 1997 g. firma PDC vыpustila Visual Prolog 5.0, a s yanvarya 1999 g. pristupila k rasprostraneniyu versii 5.1. V nastoyaщyeye vremya vse jelayuщiye mogut besplatno skopirovat cherez Internet poslednyuyu versiyu sistemы Visual Prolog 5.1 Personal Edition, funksioniruyuщuyu v sredax Windows 3.1/95/98, NT, OS/2, SCO UNIX i Linux. Variant Personal Edition prednaznachen dlya nekommercheskogo ispolzovaniya, i soobщyeniya ob etom imeyutsya vo vsex prilojeniyax, sozdannыx s yego pomoщyu. Krome togo, vladelsы Personal Edition ne obespechivayutsya besplatnoy texnicheskoy podderjkoy i na nix ne rasprostranyayutsya lgotы i skidki pri priobretenii novыx versiy. V posledney versii poyavilis takiye usovershenstvovaniya, kak otladchik, spesialnыy instrumentariy i primerы razrabotki Web-uzlov.
Dlya uchebnыx seley vpolne prigoden Turbo Prolog. Na ispolzovaniye etoy realizasii yazыka rasschitanы vse privodimыye primerы i zadachi.

Download 5,12 Mb.

Do'stlaringiz bilan baham:
1   ...   90   91   92   93   94   95   96   97   ...   118




Ma'lumotlar bazasi mualliflik huquqi bilan himoyalangan ©hozir.org 2024
ma'muriyatiga murojaat qiling

kiriting | ro'yxatdan o'tish
    Bosh sahifa
юртда тантана
Боғда битган
Бугун юртда
Эшитганлар жилманглар
Эшитмадим деманглар
битган бодомлар
Yangiariq tumani
qitish marakazi
Raqamli texnologiyalar
ilishida muhokamadan
tasdiqqa tavsiya
tavsiya etilgan
iqtisodiyot kafedrasi
steiermarkischen landesregierung
asarlaringizni yuboring
o'zingizning asarlaringizni
Iltimos faqat
faqat o'zingizning
steierm rkischen
landesregierung fachabteilung
rkischen landesregierung
hamshira loyihasi
loyihasi mavsum
faolyatining oqibatlari
asosiy adabiyotlar
fakulteti ahborot
ahborot havfsizligi
havfsizligi kafedrasi
fanidan bo’yicha
fakulteti iqtisodiyot
boshqaruv fakulteti
chiqarishda boshqaruv
ishlab chiqarishda
iqtisodiyot fakultet
multiservis tarmoqlari
fanidan asosiy
Uzbek fanidan
mavzulari potok
asosidagi multiservis
'aliyyil a'ziym
billahil 'aliyyil
illaa billahil
quvvata illaa
falah' deganida
Kompyuter savodxonligi
bo’yicha mustaqil
'alal falah'
Hayya 'alal
'alas soloh
Hayya 'alas
mavsum boyicha


yuklab olish