Logické programovacie jazyky: funkcie, príklady

Ako často ste narazili na nejasný termín "logické programovanie" a nedokázali pochopiť, čo to bolo? Dnes definitívne definujeme, aký typ programovacích jazykov je logický typ a zvážime príklady takýchto jazykov. Skôr ako začnete revíziu jazyka, musíte najprv vedieť, čo to je a prečo.

Čo je to logické programovanie?

Tento prístup k programovaniu je založený na dôkaze vety a výstupu informácií založených na faktoch. Výsledok výsledku je vedľajším produktom práce programu. Logické programovanie je založené na teórii matematickej logiky, zahŕňa časť diskrétnej matematiky a niektoré ďalšie.

Aké sú rozdiely?

Veľa integruje logické programovacie jazyky s funkčnými jazykmi, ale majú určité rozdiely, o ktorých budeme hovoriť neskôr. Na rozdiel od funkčných, logické sú veľmi vhodné pre vytváranie umelých inteligencií. Je tiež niekedy veľmi výhodné, keď jazykové premenné nie sú rozdelené na vstupy a výstupy. Práve v týchto jazykoch sa to stane, čo niekedy zjednodušuje prácu s kódom. Programy sú znova rýchlejšie a niekedy účinnejšie vykonávajú svoje úlohy. Hlavnou črtou logických programovacích jazykov je, že program predstavuje určité vzťahy medzi prvkami.


Existujú však aj nevýhody. Nie je možné opísať všetko pomocou logiky, preto v takýchto programoch funkcie nefungujú vždy tak, ako by mali alebo nefungujú vôbec.

Kto je užitočnýučiť programovacie jazyky logického typu?

Stojí za to odpovedať okamžite na otázku: učiť sa jazykové údaje sú užitočné pre každého - od školáka až po muža. Koniec koncov, logické programovacie jazyky môžu doslovne myslieť logicky náš mozog. Takéto jazyky budú veľmi užitočné pri vytváraní umelej inteligencie alebo pri práci s údajmi.

Logické programovacie jazyky

Nie je veľa takýchto jazykov a sú odlišné. Budeme hovoriť iba o dvoch a začnime začatím éry logických jazykov a jeho meno je Prolog.
Tento jazyk bol vyvinutý v roku 1972 Alain Kolmeroe a je aktuálny a aktuálny. Hoci to nie je najjednoduchší jazyk, pokiaľ ide o syntax, je veľmi užitočný na pochopenie logiky počítača. Pozrite sa, ako vyzerá kód popisujúci knihu: knihy ('Názov', '2009', 'Spb', autori ('Prvý autor', ' Druhý autor ")).

Tento opis je pomerne ľahko pochopiteľný a pochopiť, čo. Preto učenie takéhoto jazyka nebude robiť žiadne veľké ťažkosti a nevyžaduje tancovanie s tamburínom.

Poďme sa pozrieť na jeho klady a zápory.

Pro.

1. Kód je ľahko pochopiteľný a pamätať.

Ako bolo uvedené vyššie, kód v jazyku Prolog nie je tak ťažké písať. Je to úplne jednoduché, v pochopení obyčajného používateľa.

2. Výrazy a fakty.

Tento jazyk sa môže používať bez akýchkoľvek výpočtov a spoliehať sa výlučne na výrazy a fakty.

3. Cesta nemá vplyv.

Bez ohľadu na cestu k realizácii vášho nápadu ste si nevybrali, skoro nikdy neovplyvňujevýsledok programu.

Pozn.

1. Slabá investícia.

Vzhľadom na skutočnosť, že tento jazyk materiálne nepodporuje - rozvíja pomerne pomaly, s malými krokmi.

2. Neschopnosť vytvárať komplexné programy.

Tento jazyk nie je možné použiť bez pripojenia k ostatným, ak chcete vytvárať zložitejšie aplikácie s vysokou funkčnosťou.

3. Výpočtové operácie.

Opätovné spracovanie operácií bude musieť používať aj iné jazyky.

Mercury

išiel na jazyku Prolog, Mercury vytvorený vyriešiť dva problémy s populárnym programovacím jazykom.

1. Produktivita.

Logické programovacie jazyky sú do značnej miery podriadené imperatívnemu typu výkonu.

2. Ladenie.

V jazykoch tohto typu je pomerne veľa času ladením a produkoval menej kontroluje chyby v programe, pretože to, čo sa občas dejú ťažkosti.

Príklad kód pre Merkúr:

Ahoj, svet!

​​
: - modul ahoj. 
: - rozhranie.
: - import_module io.
: - hlavné (io :: di, io :: uo) je det.

: - implementácia.
main (! IO): -
io.write_string ("Hello, World N!",! IO).


Syntax a pochopenie jazyka, ako to stojí, je veľmi odlišný od "prológu", čo trochu komplikuje prípravu, ale niektoré z jeho výhod, riešiť problémy "Prologue", veľmi užitočné.

Stanovisko

Jazyk logického programovania je jazyk, ktorý spracováva výrazy a faktov, a vedľajší účinok vydáva výsledok tohto programu. Takéto jazykyveľmi užitočné pri vytváraní umelej inteligencie a práci s údajmi, ale zriedka sa používajú bez programovacích jazykov tretích strán.

Súvisiace publikácie