Dôvody , prečo používať Prológ

Prológ ( programovanie v logike ) je jedinečný programovací jazyk . To bolo vyvinuté vo Francúzsku výskumných pracovníkov , ktorí sa zaujímali o automatickom prirodzeného jazyka preklade . To bola zdokonalená v Škótsku výskumných pracovníkov , ktorí sa zaujímali o automatických dokazovaciu . Stalo sa svetovej pozornosti , keď Japonci vybrali ho ako základný jazyk pre svoje " piatej generácie " Umelá inteligencia ( AI ) projektu . Existuje veľa dobrých dôvodov , prečo používať Prolog . Použitie Prológ

Jeden z najlepších dôvodov , prečo používať Prológ je , že nemusíte hovoriť počítač , ako vyriešiť problém --- stačí dať počítač pravidiel sa podieľajú na riešení problém . Programy Prológ sa skladá zo starostlivo objednaný sady pravidiel , ktoré vyzerajú takto : Ak X a Y a Z potom W. Tento súbor pravidiel by mohlo byť gramatické pravidlá ( ak pracujete v prirodzených jazykoch ) alebo pravidlá o matematike ( ak pracujete na automatických dokazovaciu ) alebo pravidlá o akejkoľvek oblasti záujmu . Pravidlá musia mať túto podobu : "Je - li ( ľubovoľný počet predchodcov --- vrátane nulových predchodcov ) , potom ( záver ) . " Predchodcov , musí byť spojený s " a " spojenie . Akonáhle sú pravidlá v mieste , môžete odoslať otázku a program odpovie " áno " , " nie " alebo " neviem . "
Kvantifikácia

ďalším dôvodom na použitie Prolog , je , že je veľmi jednoduché vyjadriť veci v Prolog , ktoré je ťažké vyjadriť v iných jazykoch . Je ľahké vyjadriť skutočnosťou v Prolog , ale to je tiež jednoduché vyjadriť zložité vzťahy , pretože Prológ využíva kvantifikácia logiky namiesto jednoduchšieho logiky používané v iných jazykoch . Kvantifikácia len znamená , že premenná môže mať atribúty --- inými slovami , nie je to len "li a B potom C " môže byť tiež "Ak A ( a , b , c) a B ( m , n) , potom c ( a , b , n) " , kde a , b, c , m a n sú atribúty a , b a C. Napríklad : ak je medzi ( x , y , z ) a medzi ( x , k , y ) , potom medzi ( x , k , z ) " by bolo ťažké vyjadriť v každom inom jazyku --- to by určite trvať dlhšie ako jeden riadok v každom inom jazyku .
zjednotenie

dôvod , prečo mnoho ľudí volí Prológ je , že bude automaticky hľadať odpoveď . to možno vykonať v iných jazykoch , ale to nie je automatické a bude zahŕňať stovky alebo tisíce riadkov kódu . Prológ naozaj dostane jej energie z logických nástrojov , ako je kvantifikácia a zjednotenie . zjednotenie o to , že dve veci nemusí byť rovnaká , aby zodpovedali , ak môžu byť vyrobené s použitím zhodné u niektorých zoznamu substitúciou . Napríklad , P ( j , g ) sa nerovná na P ( k , g ) , ale môžu byť so rovnať ak ( j = k ) je na zozname náhradné . Zjednotenie uľahčuje hľadať niečo , pretože keď Prológ odpovie " áno " alebo " nie" , bude tiež vrátiť náhradu zoznam , ktorý je potreba, aby všetko fungovalo . Napríklad , ak skutočnosť pes ( bohatý , Benji ) je vo vašej databáze a budete sa pýtať na otázku : " pes ( bohatý , x ) " . Prológ vráti " áno " a zoznam substitúcia ( x = benji ) .

• Predchádzajúca strana: Ako navrhnúť logika pre vývojový diagram , ktorý sa vytlačí čísla 
• Ďalšia strana: Tipy a triky pre Frontpage 2003