1.

Software

2.	Systémový software

3.	Programovací jazyky

4.	Definice programovacího jazyka

5.	Neprocedurální jazyky - Prolog

6.	Deklarativní jazyky

7.	Aplikační software a aplikační balíky

"Neprocedurální jazyky
Modernější podoba progr. jazyků je bližší uživateli. Při jejich aplikaci není uživatel nucen formulovat proceduru čili postup transformace vstupních dat na výstupní, ale přímo definuje, požaduje na výstupu. Nezabývá se takovými operacemi, jako je otevírání souborů, čtení první věty, porovnávání hodnot klíčů apod. Současné konkrétní implementace neprocedurálních jazyků se zachovaly některé procedurální rysy. Jsou vytvořeny pro interaktivní prostředí programování a jsou dobře strukturované. Jsou ale uživatelsky přátelštější a dobře vybaveny pro práci s databází. Jejich jednotlivé instrukce představují obvykle množinu instrukcí problémově orientovaných jazyků. Známým představitelem neproced. jazyků je Prolog.
Vysoká výkonnost moderních neprocedurálních jazyků a jejich flexibilita vedla k opuštění tradičního vývoje aplikací členěného do postupných vzájemně ostře oddělených stádií k plynulému postupnému vývoji, k tzv. prototypování. Jeho podstatou je rychlý vývoj rané verze systému, která je po ověření postupně upravovánu do finální podoby.


Deklarativní jazyky
Představují koncept pohlížející do budoucna , založený na možnostech umělé inteligence. Programy v nich napsané sestáváají z množiny deklarací uspořádaných v libovolném pořadí. Jazyk sám pak určí podstatu vztahů mezi deklaracemi a vytvoří výsledný program. Jsou založeny na komunikaci mezi programátorem a překladači pomocí tzv. faktů. Uživatel deklaruje požadavek na základě určitého tvrzení, jazyk pak vytváří nejen proceduru tj. jak má být výsledek získán, ale i co má být poskytnuto."

Vypracovaný státnicový okruh.