Čo je Prolog? definícia a význam

click fraud protection

Prolog je vysokoúrovňový programovací jazyk štvrtej generácie. Používa sa hlavne vo výskume umelej inteligencie, aplikáciách a softvéri a zvyčajne sa vyskytuje iba v expertných systémoch a veľmi pokročilých technológiách.

Je to skratka pre PROgramming in LOGic a je to deklaratívny jazyk. To znamená, že namiesto toho, aby programátor presne povedal počítaču, aké kroky má vykonať, popíše problém, ktorý je potrebné vyriešiť.

Technipages Vysvetľuje Prolog

Vo svojej podstate sa Prolog veľmi podobá dotazovacím jazykom, ktoré pracujú s databázami a v systémoch správy databáz, ako je SQL. Je tu však dôležitý rozdiel – zatiaľ čo dopytovací jazyk má informácie, ktoré je možné získať, programovací jazyk nie.

V SQL je možné spýtať sa databázy „Je Susan Maier staršia ako 18 rokov?“ za predpokladu, že sú k dispozícii informácie. V deklaratívnom programovacom jazyku to nie je možné, ale namiesto toho je možné vyriešiť matematické problémy ich podrobným popisom.

Prolog je obzvlášť vhodný pre prácu AI a výpočtovú lingvistiku. Výrazy a kód sú napísané v zmysle vzťahov, faktov, pravidiel a noriem. Potom sa spustí skutočný výpočet zadaním informácií, s ktorými sa zaobchádza podľa týchto noriem.

Prolog je tiež najpopulárnejší logický programovací jazyk a existuje už od jeho počatia v roku 1972. Logické programovacie jazyky sa spoliehajú na jasne definované pravidlá, vďaka čomu sú veľmi odlišné od objektovo orientovaného programovania (typ jazyka často používaného v užívateľsky orientovanom softvéri).

Bežné použitie Prologu

  • Prolog je skratka pre PROgramming in LOGic a bol prvýkrát vytvorený v roku 1972 Alainom Colmerauerom a jeho skupinou vo Francúzsku.
  • Dnes je Prolog veľmi populárny vo výskume AI a aplikáciách, ktoré podporujú strojové učenie.
  • V porovnaní s jazykmi ako PHP alebo Java je Prolog orientovaný na logiku, čo znamená, že funguje na základe presného súboru pravidiel jedinečných pre každú aplikáciu.

Bežné nesprávne použitie Prologu

  • Prolog je prvá časť akéhokoľvek kódu.