Nagyhatékonyságú Deklaratív Programozás Labor, 2019 tavaszi félév


Információk

Ez a lap a Nagyhatékonyságú Deklaratív Programozás Labor tárgy anyagára vonatkozó információkat tartalmaz.

Az előadások fóliái

Változások még lehetségesek.


Gyakorló feladatok


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


Példaprogramok


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 KHF az NDP ETS rendszerének segítségével lesz beadható.


Beszámolók:

Pontozás:


A rokon tárgyakról, korábbi félévekről Szeredi Péter oktatási honlapján található információ.