Predmet Programski jeziki se ukvarja s programiranjem v programskem jeziku Prolog ter programiranjem v splošnem z največjim poudarkom na rekurziji in poteka v zimskem semestru smeri Programska oprema drugega letnika visokošolskega strokovnega študija Fakultete za računalništvo in informatiko.

Poglavja, ki so ostala za predelat in poleg obdelanih še pridejo v poštev na (predvsem ustnem) izpitu so: 6 (splošno o PJ) 7 (lastnosti PJ) 8.1 (sintaksa PJ) 9.4 (tipiziranje) 10.1 (razdelek Sočasnost) Manjkajoča snov še ni predelana v wiki obliko, je pa na voljo v OCR-predelanem skenu knjige pdf (2MB) in bi bilo zelo dobrodošlo, če bi se jo čimprej pretvorilo v uporabnejšo obliko - v članke na e-študentu.

Programiranje v Prologu

Uvod v Prolog

• Prolog
• Računanje v prologu
• Semantika Prologa
• Sintaksa prologa
  • Prilagajanje
  • Doseg imen
  • Izrazi
  • Konstruktor
  • Izvajanje
  • Aritmetika
• Gramatika

Osnovni principi programiranja v Prologu

• Rekurzija
• Seznami

• Dodajanje elementov v seznam
• Brisanje elementov iz seznama
• Iskanje
• Stik dveh seznamov
• Transformacija seznama

• Avtomatsko vračanje in negacija
• Večsmernost procedur
• Preiskovanje grafov
• Assert in retract
• Zanke
• Funktor
• Delo z datotekami

Napotki za dobro programiranje

• Napotki za dobro programiranje
• Razgradnja problema
• Razgradnja podatkovnih struktur
• Razumljivost, operatorji
• Učinkovitost
• Generalizacija procedur
• Dokumentacija

Področja uporabe prologa

• Sintaktična analiza
• Interpreterji in prevajalniki
• Simbolično reševanje problemov
• Logični problemi in igre
• Primerjava prologa in pascala

Principi programskih jezikov

• Programski jezik

Literatura

• Logično programiranje in drugi principi programskih jezikov
• Naloge iz programiranja v prologu z rešitvami

Stare seminarske naloge

• 02.11.2004
• 10.01.2005
• 21.11.2005
• 09.01.2006