Prolog
Principy
Programy jsou ze 2 častí:
* Vlastní program – Hornovy klauzule, které tvoří hypotetický základ pro důkaz.
* Dotazy – cíle, predikáty, které chceme z dané hypotézy ověřit, zda platí nebo ne
Hornovy klauzule sa vyskytují ve 2 variantách:
Uzavřenost jazyků vůči operacím
* Substituce -- každý symbol věty nahradíme za některou větu substitučního jazyka pro daný symbol (substituční jazyk je stejné třídy jako jazyk)
* Morfismus -- speciální případ substituce, kdy substituční jazyk má vždy jen jednu větu (symbol vždy nahrazujeme za jednu a tu samou větu)
* Inverzní morfismus -- je operace opačná k morfismu - tj. každá věta jazyka je nahrazena za symbol tak aby náhrada byla inverzní k nějakému morfismu…
Potřebujete něco rychle vyřešit, a různá fóra vám nestačí? IRC je ideální řešení.
Historie IRC
Co já bych sem psal? Přečtěte si to ne Wikipedii ;-).
HOWTO
* Sežeňte si nějakého klienta. Existuje jich spousta. Tento návod je psán pro multiplatformní XChat, pro simulátor operačního systému (Windows) je známý mIRC, zkušení linuxáci mohou sáhnout po terminálové irssi.
* Nainstalujte tedy Vámi zvoleného klienta a spusťte jej.
* Najděte v něm něco, jako Seznam sítí (v XChatu Ctrl + S)
* Tady v…
Bc. Jan Kaláb
Příklad 1
Pomocí počátečních funkcí, a operátorů kombinace, kompozice a primitivní rekurze výjádřete funkci počítající zbytek po celočíselném dělení:
mod: ℕ² → ℕ, mod(x, y) = z takové, že x = y * k + z pro nějaké k ∈ ℕ.