Logika a Prolog
úvod
věty
fakta
pravidla
dotazy
proměnné
souhrn
