Principi programskih jezikov

Vaje

  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(R)
  10. CLP(FD)
  11. DCG
  12. Denotacijska semantika
  13. Mini ALGOL
  14. Dokazovanje pravilnosti
  15. Pomen naravnega jezika