Principi programskih jezikov

  1. Uvod v prolog
  2. Sledenje poizvedbam (trace)
  3. Seznami
  4. Aritmetika
  5. Sortiranje
  6. Negacija (množice)
  7. Strukture (drevesa)
  8. Tipi (registracije)
  9. CLP(FD)
  10. CLP(R)
  11. DCG
  12. Denotacijska semantika
  13. Mini ALGOL
  14. Dokazovanje pravilnosti