Logické programovanie

Logické programovanie

ladenie

rekurzívne dátove štruktúry

abstraktný interpret

predikát

• 1 Úvodní poznámky
  1.1 Slovo autora
  1.2 Historie Prologu
  2 Prolog od základů
  2.1 Základní pojmy
  2.2 Peanova aritmetika
  2.3 Predikát řezu
  2.4 Predikát f ail. negace
  2.5 Operátory
  2.6 Unifikace
  3 Vestavěné predikáty
  3.1 Vstupy a výstupy
  3.2 Metalogické predikáty a manipulace s programem
  3.2.1 Metalogické predikáty
  3.2.2 Načítání databáze, predikáty skupiny consult . . . .
  3.2.3 Zásahy do databáze - predikáty pro práci s klausulemi
  3.3 Složené termy
  3.3.1 Seznamy
  3.3.2 Funktorové složené termy
  3.4 Interní databáze
  3.5 Aritmetika
  3.6 Nalezení všech řešení
  4 Ladění
  4.1 Krabičkový model
  4.2 Predikáty trace a notrace
  4.3 Ostatní predikáty pro ladění
  5 Rekurzívní datové struktury
  5.1 Seznamy
  5.1.1 Rozdílové seznamy
  5.1.2 Uspořádané seznamy
  5.2 Čítače
  5.3 Slovník
  5.3.1 Implementace pomocí databáze . . .
  5.3.2 Implementace datovou strukturou .
  5.3.3 Výpis slovníku
  5.3.4 Transformace stromu na seznam . .
  5.4 Pole
  5.4.1 Pole jako seznam nebo binární strom
  5.4.2 Pole konstantní délky
  5.5 Fronta
  6 Abstraktní interpret
  6.1 Schéma výpočtu
  6.2 Funkce zásobníku
  6.3 Optimalizace základního modelu
  6.4 Vyjádření iterace rekurzí
  7 Kompilátor Prologu
  7.1 Schéma WAM
  7.2 Práce se seznamy
  7.3 Vyjádření cyklů a if-then-else .
  7.3.1 Cyklus
  7.3.2 Cyklus repeat
  7.3.3 Jak psát tělo cyklu
  7.3.4 Definice if-then-else . .
  7.4 Datovod (pipe, roura)
  7.5 Predikáty skupiny retract . . . .
  8 Vyjádření gramatik v Prologu
  8.1 Rozdílové seznamy
  8.2 Kontextová gramatika
  8.3 DCG - Definite Clause Grammars
  9 Predikátový počet
  9.1 Predikátová logika 1. řádu
  9.2 Herbrandova interpretace
  9.3 Rezoluce v logice 1. řádu
  9.3.1 Varianty rezoluční metody .
  9.3.2 Neúplné varianty rezoluce .
  10 Prolog s omezujícími podmínkami
  10.1 NU Prolog
  10.2 Náhrada Herbrandova univerza . . .
  11 Prohledávání stavového prostoru
  11.1 Nevýhody backtrackingu
  11.2 Apriorní kontrola
  11.3 Specializace
  12 Paralelní logické programování
  12.1 Transparentní paralelismus
  12.1.1 and paralelismus
  12.1.2 or paralelismus
  12.2 Explicitní paralelismus
  12.2.1 Procesová sémantika
  12.2.2 Don't Know nedeterminismus
  12.2.3 Don't Care nedeterminismus
  12.2.4 Stráže
  12.2.5 Chování procesu
  12.3 Omezený or paralelismus
  12.4 Ploché (fiat) jazyky