logo

Prolog pamoka

Kas yra Prolog

  • Prolog reiškia programavimą logikoje. Loginio programavimo paradigmoje prologo kalba yra plačiausiai prieinama. „Prolog“ yra deklaratyvi kalba, o tai reiškia, kad programa susideda iš duomenų, pagrįstų faktais ir taisyklėmis (loginis ryšys), o ne skaičiuojant, kaip rasti sprendimą. Loginis ryšys apibūdina ryšius, kurie galioja konkrečiai programai.
  • Norėdami gauti sprendimą, vartotojas užduoda klausimą, o ne paleis programą. Kai vartotojas užduoda klausimą, tada, kad nustatytų atsakymą, vykdymo laiko sistema ieško faktų ir taisyklių duomenų bazėje.
  • Pirmasis „Prolog“ buvo „Marseille Prolog“, sukurtas pagal Colmerauerio darbą. Pagrindinis ketvirtosios kartos programavimo kalbos pavyzdys buvo prologas. Jis palaiko deklaratyvaus programavimo paradigmą.
  • 1981 m., Japonijos kompiuterių projektas 5thbuvo paskelbta karta. Po to ji buvo priimta „Prolog“ kaip kūrimo kalba. Šioje pamokoje programa buvo parašyta „Standartiniame“ Edinburgo prologe. PrologII šeimos prologai yra kitos rūšies prologai, kurie yra Marseille Prolog palikuonys.
  • „Prolog“ funkcijos yra „loginis kintamasis“, o tai reiškia, kad jos elgiasi kaip vienoda duomenų struktūra, atgręžimo strategija ieškant įrodymų, modelio suderinimo priemonė, matematinis kintamasis, o įvestis ir išvestis yra keičiamos.
  • Norint išvesti atsakymą, bus daugiau nei vienas būdas. Tokiu atveju vykdymo laiko sistemos bus paprašyta rasti kitą sprendimą. Norėdami sukurti kitą sprendimą, naudokite grįžimo strategiją. „Prolog“ yra silpnai įvesta kalba su statinėmis apimties taisyklėmis ir dinamine tipo tikrinimu.
  • Prolog yra deklaratyvi kalba, reiškianti, kad galime nurodyti, kokią problemą norime išspręsti, o ne kaip ją išspręsti.
  • „Prolog“ naudojamas kai kuriose srityse, tokiose kaip duomenų bazė, natūralios kalbos apdorojimas, dirbtinis intelektas, tačiau kai kuriose srityse, pavyzdžiui, skaitmeniniame algoritme ar egzempliorių grafikoje, jis yra gana nenaudingas.
  • Dirbtinio intelekto programose naudojamas prologas. Dirbtinio intelekto programos gali būti automatizuotos samprotavimo sistemos, natūralios kalbos sąsajos ir ekspertų sistemos. Ekspertų sistemą sudaro sąsajos variklis ir faktų duomenų bazė. Prologo veikimo laiko sistema teikia sąsajos variklio paslaugą.
  • Pagrindinė loginio programavimo aplinka neturi pažodinių reikšmių. Identifikatorius su didžiosiomis raidėmis ir kiti identifikatoriai žymi kintamuosius. Identifikatoriai, prasidedantys mažosiomis raidėmis, žymi duomenų reikšmes. Pagrindiniai Prolog elementai yra be tipo. Dauguma „prolog“ diegimų buvo patobulinti, įtraukiant sveikųjų skaičių reikšmę, simbolius ir operacijas. Prologo mechanizmas aprašo eilutes ir sąrašus.
  • Funkcinė programavimo kalba ir prologas turi tam tikrų panašumų, pavyzdžiui, Hugs. Loginė programa naudojama santykio apibrėžimui. Naudojama funkcinė programavimo kalba, kurią sudaro funkcijų apibrėžimų seka. Tiek loginis programavimas, tiek funkcinis programavimas labai priklauso nuo rekursinių apibrėžimų.

„Prolog“ programos

Prolog programos yra tokios:

  • Specifikacijos kalba
  • Robotų planavimas
  • Natūralios kalbos supratimas
  • Mašininis mokymasis
  • Problemų sprendimas
  • Išmanusis duomenų bazių paieška
  • Ekspertų sistema
  • Automatizuotas samprotavimas

Būtina sąlyga

Prieš mokydamasis „Prolog“,

Publika

Mūsų Prolog mokymo programa skirta padėti pradedantiesiems ir profesionalams.

sql pasirinkite iš kelių lentelių

Problemos

Užtikriname, kad šioje „Prolog“ mokymo programoje problemų nerasite. Bet jei yra klaida, paskelbkite problemą kontaktinėje formoje.