/*
Zapoctova uloha c.1 - aplikace nad relacni databazi
*/

% K nize uvedene "relacni databazi" pripojte program, ktery bude 
% v menu (vyvolanem predikatem menu/0) nabizet nasledujici funkce:
%
% a) Vypis vsech predmetu ve tvaru Ident - Nazev
% b) Vypis vsech predmetu vyucovanych nebo garantovanych ucitelem (zadaneho prijmenim) - ident a nazev
% c) Vypis vsech vyucujicich predmetu (zadaneho identem) - jmeno a prijmeni
% d) Zjisteni poctu osob se zadanym titulem
% e) Zjisteni poctu predmetu, ktere maji vetsi, mensi resp. stejny rozsah prednasek jako cviceni.
%
% Program bude zahrnovat kontrolu spravnosti vstupu od uzivatele.


% ----------------------------------
% Data:
% ----------------------------------

% Predmety vyucovane katedrou IZI FIS (stav 2008/9, bez doktorskych)
% p(Ident,Nazev,Kredity,Prednasky,Cviceni,Garant,Vyucujici)

p(
'4IZ560',
'Data Mining - Business Applications',
3,2,0,
rauch,
[rauch]).

p(
'4IZ250',
'Digital Libraries',
3,0,2,
pinkas,
[pinkas]).

p(
'4IZ500',
'Diploma Seminar',
12,0,8,
sklenak,
[]).

p(
'4IZ550',
'Web Mining',
3,2,0,
svatek,
[nemrava]).

p(
'4IZ552',
'Electronic Typesetting and Publishing',
3,0,2,
sklenak,
[sklenak]).

p(
'4IZ110',
'Information and Communication Networks',
6,2,2,
palovsky,
[palovsky,zamazal]).

p(
'4IZ101',
'Informatics',
5,2,2,
strossa,
[strossa,palovsky,pinkas]).

p(
'4IZ548',
'Integrated Information and Communication Systems',
6,2,2,
kastl,
[kastl]).

p(
'4IZ630',
'Intelligent Systems and Neural Networks',
6,2,2,
sklenak,
[]).

p(
'4IZ636',
'Complex Systems',
3,2,0,
jirku,
[jirku]).

p(
'4IZ530',
'Logic Programming',
3,0,2,
svatek,
[svatek]).

p(
'4IZ617',
'Logic and Semantics',
6,2,2,
sklenak,
[jirku]).

p(
'4IZ524',
'Theoretical Computer Science',
3,2,0,
vejnarova,
[ivanek,vejnarova]).

p(
'4IZ420',
'Text Information Processing Methods and Tools',
6,2,2,
strossa,
[strossa,pinkas]).

p(
'4IZ460',
'Advanced approaches to KDD',
6,2,2,
rauch,
[rauch]).

p(
'4IZ430',
'Principles of Intelligent Systems',
6,2,2,
berka,
[berka]).

p(
'4IZ540',
'Web Server-side Programming',
3,0,2,
kastl,
[kastl]).

p(
'4IZ440',
'Knowledge Representation and Reasoning on the WWW',
6,2,2,
svatek,
[svatek]).

p(
'4IZ410',
'Information and Inference Theory',
6,2,2,
ivanek,
[ivanek]).

p(
'4IZ525',
'Theory of Coding and Cryptography',
6,2,2,
ivanek,
[ivanek]).

p(
'4IZ228',
'Development of Web Pages and Applications',
6,2,2,
kosek,
[kosek,nemrava,nekvasil]).

p(
'4IZ561',
'Artificial Neural Networks',
3,0,2,
berka,
[krivan]).

p(
'4IZ229',
'Introduction to Artificial Inteligence',
6,2,2,
berka,
[berka]).

p(
'4IZ238',
'XML - Theory and Practice of Markup Languages',
6,2,2,
kosek,
[kosek,kliegr,nemrava]).

p(
'4IZ210',
'Information and Knowledge Processing',
6,2,2,
rauch,
[rauch,svatek,nemrava,ralbovsky,chudan]).

% Ucitele predmetu KIZI FIS
% u(Prijmeni,Jmeno,Tituly,Pozice_na_katedre)

% Zamestnanci KIZI:
u(berka,petr,[ing,csc,prof],clen).
u(ivanek,jiri,[rndr,csc,doc],clen).
u(jirku,petr,[phdr,csc,doc],clen).
u(kastl,jan,[rndr,csc],clen).
u(palovsky,radomir,[rndr,csc],zastupce).
u(pinkas,otakar,[phdr],clen).
u(rauch,jan,[rndr,csc,doc],clen).
u(skalova,eva,[],sekretarka).
u(sklenak,vilem,[ing,csc],vedouci).
u(strossa,petr,[rndr,csc,doc],tajemnik).
u(svatek,vojtech,[ing,dr,doc],clen).
u(vejnarova,jirina,[rndr,csc],clen).

% Doktorandi:
u(chudan,david,[ing],doktorand).
u(nekvasil,marek,[ing],doktorand).
u(nemrava,jan,[ing],doktorand).
u(kliegr,tomas,[ing],doktorand).
u(ralbovsky,martin,[mgr],doktorand).
u(zamazal,ondrej,[ing],doktorand).

% Externiste:
u(krivan,milos,[ing],ext).