IB013 Logické programování I

Optimalizace posledního volání, rozdílové seznamy. Databázové operace, vstup a výstup, všechna řešení.