Loginis programavimas. Programavimas Prologu. Pagrindinės struktūros. Faktų, taisyklių įvedimas, užklausos, ataskaitos

Loginis programavimas. Programavimas Prologu. Pagrindinės struktūros. Faktų, taisyklių įvedimas, užklausos, ataskaitos.
Šiuolaikinio loginio programavimo pradininkais reikia laikyti Maiklą Fosterį ir Tedą Elkoną. Septintojo dešimtmečio viduryje jie eksperimentavo su programavimo kalba, pagrįsta idėja, kad programuotojuos 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, remiantis šiomis aksiomomis, gaunamas atsakymas. Automatiškai randami visi reikalingi teiginiai bei pateikiamas atsakymas į klausimą. Sistema buvo ganėtinai sudėtinga ir nepaplito.
Loginiu programavimu vėl susidomėta aštuntojo dešimtmečio pradžioje. Tai patvirtina anglų mokslininkų R.Kovalskio ir J.Robinsono darbai bei prancūzų mokslininko A.Kolmeroės sukurta Prologo programavimo kalba.
Prologo kalba vartojama japonų penktosios kartos kompiuterių kūrimo projekte. Svarbiausia ypatybė nulėmusi Prologo kalbos populiarumą,- jos paprastumas. Programos rašytos Prologo kalba, primena gyvąją kalbą, todėl jas nesunkiai gali suprasti net ir mažai su programavimu susipažinęs žmogus.
Programa Prologo kalba iš esmės skiriasi nuo programų, parašytų procedūrinio programavimo kalbomis. Čia nerasime įprastų priskyrimo, sąlyginių ar ciklo sakinių. Programa prologo kalba nėra užduoties sprendimo eigos aprašymas.
1. Objektus apibūdinantys faktai.
2. Taisyklės, apibrėžiančios loginius ryšius tarp objektų.
3. Klausimai apie objektus bei ryšius tarp jų.
Visa tai nurodžius, sprendimo eigą randa pats Prologo kalbos interpretatorius. Programuotojui pakanka žinoti, kaip bus ieškoma sprendinio.
Svarbiausios prologo kalbos taikymo sritys yra eksperimentinės sistemos, kompiuterinės dialoginės sistemos, automatinis teoremų įrodymas, duomenų bazių valdymo sistemos, tekstų gyvąja kalba apdorojimas, modeliavimas ir kt. Faktiškai bet kurį algoritmą galima užrašyti programa Prologo kalba.
Šiuo metu yra sukurta gana daug prologo kalbos versijų.
PAŽINTIS SU PROLOGU
Faktai
Norėdami užrašyti bet kurio uždavinio sprendimą prologo kalba, turime aprašyti tik patį uždavinį, t.y. nurodyti visus objektus bei jų ryšius. Uždavinio sprendimo kelią ras pats prologas.
Aprašyti uždavinį lengva. Reikia kruopščiai išanalizuoti visą turimą informaciją ir atmesti tą, kurios spendžiant uždavinį nereikės. Likusią informaciją jau galima vertinti kitu požiūriu- išsiaiškinti visus objektus ir nustatyti jų ryšius. Po to beliks užrašyti prologu gautus uždavinio analizės rezultatus.
Pavyzdys. Tarkime, kad renkame...

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!