- Rovnosti v prologu
- = unifikace, \= její negace
- =:= aritmetická rovnost, =\= její negace
- == totožnost, \== její negace
- "Wirthův" program pro hledání všech rozestavení N nezávislých dam na šachovnici N x N
- ne vždy pole skutečně potřebujeme
- Predikát consult (historické reconsult)
- predikát repeat
- Příklady programování cyklů v Prologu
( "věčný" cyklus repeat .... fail a jeho ukončení,
"repeat until" cyklus , "for" cyklus ).
- "Edinburgský" model vstupu a výstupu: otvírání, zavírání, zjištění aktuálního streamu
- Vstup/výstup termů
- Kopírování souboru
- vstup a výstup znaků, příklady
SWI Prolog umožňuje složitější práci se soubory.
Pro použití na cvičeních a při zkouškách vystačíme s touto podmnožinou
(v SWI je realizována s drobnými odchylkami).
- Definice operátorů, standardní predikát op/3.
- Zavináčové uspořádání
- Predikáty bagof a setof, "existenční kvantifikátor ^ ", jednoduché příklady užití.
- Modifikace obsahu databáze - assert, retract, retractall
pomocí těchto predikátů můžeme modelovat globální proměnné
tyto prostředky zpomalují výpočet tím podstatněji, čím je překladač"lepší"
- Na co se hodí Prolog
K Prologu se ještě za několik přednášek vrátíme
Na příští přednášce začneme probírat jazyk Scheme, vytiskněte si jeho
syntaxi