Programavimo kalba PROLOG

Loginis programavimas atsirado septintojo dešimtmečio pradžioje. Šiuolaikinio loginio programavimo pradininkais reikia laikyti Maiklą Fosterį ir Tedą Elkoką. Jie eksperimentavo su programavimo kalba, pagrįsta idėja, kad programuotojas turi pateikti teiginius, kurie laikomi aksiomomis. Jos surašomos į kompiuterio atmintį, vėliau, pateikus minėtą programavimo kalbą realizuojančiai sistemai klausimą, dedukciniu būdu ( t. Y. Išvadas gaunant iš prielaidų pagal logikos dėsnius ir taisykles), rementis šiomis aksiomomis gaunamas atsakymas. Be to automatiškai randami reikalingi teiginiai bei pateikiamas atsakymas į klausimą.
M. Fosteris ir T. Elkokas tai bandė realizuoti įprastiniais matematiniais metodais, todėl sistema buvo ganėtinai sudėtinga ir nepaplito.
Loginiu programavimu vėl buvo susidomėta aštuntojo dešimtmečio prodžioje. Juo domėjosi daug to meto žymių mokslininkų. Jų pasiekti rezultatai ir sudarė pagrindines PROLOG’O programavimo kalbos sudedamases dalis, reikėjo tik visa tai sujunkti į vientisą sistema. Šio darbo ėmesi Alenas Kolmeroė(Colmerauer) ir 1971 m. Jis sukūrė sitemą SYSTEM-Q, kuri vėliau ir buvo pavadinta PROLOG (PROgramming in ­­­­­LOGic).
Šiuo metu yra sukurta gana daug PROLOG kalbos versijų tai:Micro Prolog, Turbo Prolog,Arity Prolog,MProlog ir k. t.
Programavimo kalba PROLOG viena labiausiai išvystytų iš esminių loginio programavimo kalbų. Programavimui PROLOG kalba, įvairiems PROLOG kalbos praplėtimo variantams ir PROLOG kalbos realizavimo metodams paskirta daugybė darbų, o tai reiškia, jog ši tema aktuali. Programavime naudojamų kalbų įvairovėje PROLOG kalba išsiskyrė kaip ateities programavimo kalba. Šiame darbe apžvelgiami pagrindiniai PROLOG kalbos požymia, realizavimo sąlygos. Darbo tikslas-atskleisti PROLOG kalbos išskirtinius bruožus,lyginant ją su tradiciškai naudojamomis programavimo kalbomis.
Pirmiausiai darbe aptariama, kas tai yra programavimo kalba PROLOG, nuo ko kilęs jos pavadinimas, kokioje srityje ši kalba tinkama ir realizuojama. Aptariamas jos savybės, kurių neturi kitos programavimo kalbos, ir kurios daro šią programavimo kalbą patikima priemone loginio programavimo srityje. Toliau kalbama apie šios programavimo kalbos ypatumus, su kuriais susidūriama, naudojant šią kalbą. Pateikiamas ir analizuojamas pavyzdys PROLOG kalba, kuris paaiškina faktų ir taisyklių sąryšius šioje kalboje. Tas pats pavyzdys performuojamas algoritminiais terminais, norint...

Daugiau informacijos...

★ Klientai rekomenduoja

Šį rašto darbą rekomenduoja mūsų klientai. Ką tai reiškia?

Mūsų svetainėje pateikiama dešimtys tūkstančių skirtingų rašto darbų, kuriuos įkėlė daugybė moksleivių ir studentų su skirtingais gabumais. Būtent šis rašto darbas yra patikrintas specialistų ir rekomenduojamas kitų klientų, kurie po atsisiuntimo įvertino šį mokslo darbą teigiamai. Todėl galite būti tikri, kad šis pasirinkimas geriausias!