====== Principi programskih jezikov ======

===== Vaje =====

  - [[Uvod v prolog]]
  - [[Sledenje poizvedbam]] (trace)
  - [[Seznami]]
  - [[Aritmetika]]
  - [[Sortiranje]]
  - [[Negacija]] (množice)
  - [[Strukture]] (drevesa)
  - [[Tipi]] (registracije)
  - [[CLP(R)]]
  - [[CLP(FD)]]
  - [[DCG]]
  - [[Denotacijska semantika]]
  - [[Mini ALGOL]]
  - [[Dokazovanje pravilnosti]]
  - [[Pomen naravnega jezika]]