Nagyhatékonyságú Logikai Programozás, 2000 tavaszi félév


Információk

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

Az nhlp2000-l levelezési lista

Az előadások fóliamásolatai (4 fólia/ A4 oldal) PDF formában (260 Kbyte, gzippelve).

nlp_progs.tgz --- az előadáson elhangzott összes CLPQ/R, CLPB és CLPFD példaprogram teljes szövege, futási példákkal. Ezen felül: az 1999-es házi-feladat (torpedó) minta-megoldásának teljes kódja (60%-os kommentezettséggel!!!).

A dominó házifeladat mintamegoldásai

clpdebug.tgz --- az előadáson ismertetett CLPFD nyomkövető prototípus, leírással.