Jak často jste narazili na nejasný termín "logické programování" a nedokázali pochopit, co to bylo? Dnes budeme definitivně definovat, jaké druhy programovacích jazyků jsou logické, a zvážit příklady takových jazyků. Než začnete jazykovou recenzi, musíte nejprve vědět, co to je a proč.

Co je to logické programování?

Tento přístup k programování je založen na důkazu věty a výstupu informací založených na faktech. Výstup výsledku je vedlejším produktem práce programu. Logické programování je založeno na teorii matematické logiky, obsahuje část diskrétní matematiky a některé další.

Jaké jsou rozdíly?

Mnoho integruje logické programovací jazyky s funkčními, ale mají některé rozdíly, o kterých budeme hovořit později. Na rozdíl od funkčních, logické jsou velmi vhodné pro vytváření umělé inteligence. Někdy je také velmi výhodné, když jazykové proměnné nejsou rozděleny na vstup a výstup. Právě v těchto jazycích dochází k tomu, což někdy zjednodušuje práci s kódem. Programy jsou opět rychlejší a někdy účinněji plní své úkoly. Hlavním rysem logických programovacích jazyků je, že program představuje určité vztahy mezi prvky.


Existují však i nevýhody. Ne vše může být popsáno pomocí logiky, proto v takových programech funkce nebudou vždy fungovat tak, jak by měly nebo vůbec nefungují.

Kdo je užitečnývyučovat programovací jazyky logického typu?

Je třeba okamžitě odpovědět na otázku: učit se jazykové údaje jsou užitečné pro každého - od školáka až po věk člověka. Koneckonců, logické programovací jazyky dokáží doslova myslet logicky. Takové jazyky budou velmi užitečné při vytváření umělé inteligence nebo při práci s daty.

Logické programovací jazyky

Není mnoho takových jazyků a jsou jiná. Budeme mluvit jenom o dvou a začneme začátkem éry logických jazyků a jeho jméno je Prolog. Tento jazyk byl vyvinut v roce 1972 Alain Kolmeroe a je relevantní a čerstvé dosud. Ačkoli to není nejjednodušší jazyk z hlediska syntaxe, je velmi užitečné v pochopení logiky počítače. Podívejte se, jak vypadá kód, který popisuje knihu:




kniha ('Jméno', '2009', 'Spb' Druhý autor ")).

Tento popis je docela snadné pochopit a pochopit, co. To je důvod, proč učení takového jazyka nebude dělat žádné velké potíže a nevyžaduje tanec s tamburinou.

Podívejme se na své klady a zápory.

Pro.

1. Kód je snadno pochopitelný a pamatuje.

Jak bylo uvedeno výše, kód v jazyce Prolog není tak obtížné psát. Je to docela jednoduché, pochopení běžného uživatele.

2. Výrazy a fakta.

Tento jazyk může být použit bez jakýchkoli výpočtů, spoléhat se pouze na výrazy a fakty.

3. Cesta nemá vliv.

Ať už je cesta k realizaci vašeho nápadu, kterou jste si nevybrali, téměř nikdy neovlivnívýsledek programu.

Nevýhody.

1. Slabá investice.

Vzhledem k tomu, že tento jazyk materiálně nepodporuje - vyvíjí poměrně pomalu, s malými kroky.

2. Neschopnost vytvářet složité programy.

Tento jazyk nebude možné používat bez kontaktování ostatních, pokud chcete vytvořit složitější programy s velkou funkčností.

3. Výpočetní operace.

Pro opětovné výpočetní operace bude muset používat jiné jazyky.

Mercury

Odklon od jazyka Prolog, Merkur byl vytvořen pro řešení dvou problémů spojených s populárním programovacím jazykem.

1. Produktivita.

Logické programovací jazyky jsou do značné míry horší než imperativní typ výkonu.

2. Ladění.

V jazycích tohoto typu je poměrně hodně času laděním a produkoval méně kontroluje chyby v programu, protože to, co se občas dějí potíže.

Příklad kódu pro Merkuru:

Dobrý den, svět!

​​

: - modul hello.
: - rozhraní.
: - import_module io.
: - hlavní (io :: di, io :: uo) je det.

: - provádění.
main (! IO): -
io.write_string ("Hello, World N!" ,! IO).

Syntaxe a pochopení jazyka, jak to stojí, je velmi odlišný od „prologu“, což trochu komplikuje přípravu, ale některé z jeho výhod, řešit problémy „Prologue“, velmi užitečné.

Stanovisko

Jazyk logického programování je jazyk, který zpracovává výrazy a faktů, a vedlejší účinek vydává výsledek tohoto programu. Takové jazykyvelmi užitečné při vytváření umělé inteligence a manipulaci s daty, ale zřídka používal bez dalších programovacích jazyků.