Deklarativní programování: Porovnání verzí

m
→‎Příklady: upřesnění odkazu na Prolog
(→‎Přístupy k deklarativnímu programování: Odstraněny příklady, které do této kategorie asi nepatří. Vložen ten, který určitě patří.)
m (→‎Příklady: upřesnění odkazu na Prolog)
</source>
 
* '''Jazyk [[Prolog (programovací jazyk)|Prolog]]''' je jazyk pro [[logické programování]]. Definují se v něm pravidla a v dotazovacím módu se uživatel ptá interpreta na skutečnosti, které interpret přímo nezná, ale dokáže si je ze známých skutečností odvodit. Příkladem definování takových pravidel mohou být rodinné vztahy:
<source lang="text">
% Ladislav je rodičem Adriany
1 457

editací