Neprocedurální programování

• funkce a jejich skládání
• funkce jsou „matematické“, nemají vedlejší efekty

• rozšíření New-VSC-Prolog
• pravé tlačítko – load document

• pokud je proměnná jenom vpravo, je kvantifikovaná existenčně
• pokud je proměnná na obou stranách, je kvantifikovaná obecně

stisknutím středníku (u složeného výrazu) vynutíme selhání – Prolog zkouší další možnosti

• např. dotaz manzele(jina, karel_iv). (kde jina neexistuje) nikdy nedoběhne
• v případě neúspěchu se provede unifikace – ta prohodí pozice (ale to se postupně provádí donekonečna)

• term je strukturovaný typ s více položkami
• v procedurálním jazyce by to odpovídalo typu záznam
• položky jsou identifikovány jménem
• ve složeném termu jsou položky identifikovány polohou

• základní operace na termech
• unifikací datum(D1, M1, 2024) = datum(D2, unor, R2). je…
  • D1 = D2
  • M1 = unor
  • R2 = 2024
• unifikaci vyvolá operátor =
• operátor \= vrátí true, pokud termy nelze unifikovat

• predek(X,Y) :- rodic(X,Y).
• predek(X,Z) :- rodic(X,Y), predek(Y,Z).
• tenhle predikát efektivně počítá potomky, ne předky
• napíšeme komentář % predek(+Predek, ?Potomek)
• znaménko +- označuje, že argument může obsahovat volné proměnné
• lepší predikát
  • …

• use_module(library(clpfd)).
• obecnější aritmetické operátory, začínají znaménkem #

• call
• maplist
• foldl (reduce)

• používat s mírou
• červený – mění deklarativní význam programu
• zelený – nemění deklarativní význam programu, pouze odřezává neperspektivní větve výpočtu

• Přední/Zadní
• Zadní část je otočená
• odebírám v konstantním čase ze začátku
• v konstantním čase přidávám na konec fronty (těsně za lomítko)

• také lze :l
• pomocí :r (reload) se soubor znova načte