logo

Výukový program Prolog

Čo je Prolog

  • Prolog znamená programovanie v logike. V paradigme logického programovania je najrozšírenejší jazyk prolog. Prolog je deklaratívny jazyk, čo znamená, že program pozostáva z údajov založených na faktoch a pravidlách (Logický vzťah), a nie na výpočtoch, ako nájsť riešenie. Logický vzťah popisuje vzťahy, ktoré platia pre danú aplikáciu.
  • Ak chcete získať riešenie, používateľ položí otázku namiesto spustenia programu. Keď používateľ položí otázku a potom určí odpoveď, systém behu prehľadáva databázu faktov a pravidiel.
  • Prvým Prologom bol „Marseille Prolog“, ktorý je založený na práci Colmerauera. Hlavným príkladom programovacieho jazyka štvrtej generácie bol prolog. Podporuje paradigmu deklaratívneho programovania.
  • V roku 1981 japonský počítačový projekt 5thgenerácia bola vyhlásená. Potom bol Prolog prijatý ako vývojový jazyk. V tomto návode bol program napísaný v 'Standard' Edinburgh Prolog. Prology rodiny PrologII sú ďalším druhom prológov, ktoré sú potomkami Marseille Prolog.
  • Funkcie Prologu sú „logická premenná“, čo znamená, že sa správajú ako jednotná dátová štruktúra, stratégia spätného sledovania na vyhľadávanie dôkazov, zariadenie na porovnávanie vzorov, matematická premenná a vstup a výstup sú vzájomne zameniteľné.
  • Na vyvodenie odpovede bude viac spôsobov. V takom prípade bude systém run time požiadaný o nájdenie iného riešenia. Ak chcete vygenerovať iné riešenie, použite stratégiu spätného sledovania. Prolog je slabo typizovaný jazyk s pravidlami statického rozsahu a dynamickou kontrolou typu.
  • Prolog je deklaratívny jazyk, čo znamená, že môžeme špecifikovať, aký problém chceme vyriešiť, a nie ako ho vyriešiť.
  • Prolog sa používa v niektorých oblastiach, ako je databáza, spracovanie prirodzeného jazyka, umelá inteligencia, ale v niektorých oblastiach, ako je numerický algoritmus alebo inštancia, je celkom zbytočný.
  • V aplikáciách umelej inteligencie sa používa prolog. Aplikácie umelej inteligencie môžu byť automatizované systémy uvažovania, rozhrania prirodzeného jazyka a expertné systémy. Expertný systém pozostáva z enginu rozhrania a databázy faktov. Systém doby chodu prologu poskytuje službu rozhrania.
  • Základné logické programovacie prostredie nemá žiadne doslovné hodnoty. Identifikátor s veľkými písmenami a ďalšie identifikátory označujú premenné. Identifikátory, ktoré začínajú malými písmenami, označujú hodnoty údajov. Základné prvky Prologu sú beztypové. Väčšina implementácií prologu bola vylepšená tak, aby zahŕňala celočíselné hodnoty, znaky a operácie. Mechanizmus prologu popisuje n-tice a zoznamy.
  • Funkčný programovací jazyk a prológ majú niektoré podobnosti ako Hugs. Logický program pozostáva z definície vzťahu. Funkčný programovací jazyk sa používa tak, že pozostáva zo sekvencie definícií funkcií. Logické aj funkčné programovanie sa vo veľkej miere spolieha na rekurzívne definície.

Aplikácie Prologu

Aplikácie prologu sú nasledovné:

  • Jazyk špecifikácie
  • Plánovanie robotov
  • Pochopenie prirodzeného jazyka
  • Strojové učenie
  • Riešenie problémov
  • Inteligentné načítanie databázy
  • Expertný systém
  • Automatizované uvažovanie

Predpoklad

Predtým, ako sa naučíte Prolog,

publikum

Náš tutoriál Prolog je navrhnutý tak, aby pomohol začiatočníkom a profesionálom.

tretia normálna forma

Problémy

Uisťujeme vás, že v tomto návode na Prolog nenájdete žiadny problém. Ak sa však vyskytne nejaká chyba, uveďte problém v kontaktnom formulári.