Friss hírek

• (2025.02.10) Hasznos anyagok Prologgal most ismerkedők számára:
  • Prolog rendszerek: SWI Prolog webes felület, Tau Prolog homokozó (keresési fa kirajzolásához)
  • Deklaratív Programozás (DP) c. tárgy legfrissebb (2024 őszi) kurzusának honlapja
  • DP jegyzet és fogalomtár letölthető erről a lapról
  • A Prolog végrehajtás gyakorlására szolgáló alkalmazás
  • A DP tárgy 2020 őszi online kurzusának bevezető Prolog videói:
    • ea06 (mp4, 01:27:50, 176 MB) 26:30 perctől
    • ea07 (mp4, 01:29:36, 191 MB)
    • ea08 (mp4, 01:28:42, 191 MB)
  • A DP tárgy 2024 őszi kurzusának Prolog gyakorlatai: első, második.

Előadásdiák (2025 tavasz)

• pdf, 4 fólia/oldal
• pdf, 1 fólia/oldal

A 2021. tavaszi félév videófelvételei (előadások és Prolog konzultációk)

A 2002. évi előadásokról készült jegyzet-kézirat

• ps.gz
• pdf

Példaprogramok

• Programok - az első néhány előadáson szereplő példaprogramok szövege, futási példákkal, plusz az első kisházi megoldása bináris (.po) formában.

Házi feladatok

1. kis házi feladat:

A kiírás innen letölthető. A kiírás kiegészítéseként pontosítjuk a count/2 predikátummal szembeni elvárásokat:

1. ne csináljon választási pontot (lásd a 4. futási példát a fólián).
2. count(L, N)-ben, ha az L lista N db eleméről kiderül, hogy 1-es, akkor nem vár további változó-behelyettesítésre és a fennmaradó változókat behelyettesíti 0-ra. Pl. a `count([X,Y,Z], 1), Z=1' célsorozat az `X=0, Y=0, Z=1' eredményt adja.
3. count(L, N)-ben, ha az L lista len(L)-N db eleméről kiderül, hogy 0, akkor nem vár további változó-behelyettesítésre és a fennmaradó változókat behelyettesíti 1-re. Pl. a `count([X,Y,Z], 2), Z=0' célsorozat az `X=1, Y=1, Z=0' eredményt adja.

A kis házi feladat "minta"-megvalósítása (.po formában, tehát futtathatóan, de nem olvashatóan) és tesztpéldái az első három előadás példaprogramjaival együtt letölthetőek innen.

Az 1. kis házi feladat beadása:

A beadási határidő 2025. március 17, hétfő, 23:59.