Nagyhatékonyságú Logikai Programozás, 2006 őszi 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.
Friss hírek(2007.01.26)
Konzultáció:
2007. január 30. kedd, 12:30-14:30. V2.628a.
Nagy házi feladat: A házi feladat keretprogramja, a tesztesetekkel együtt letölthető.
A házi feladat kiírása letölthető innen.
Kis házi feladatok: Az összes kis házi feladat kiírása
letölthető, a házik beadhatók, lásd alább.
FDBG nyomkövető: Az FDBG nyomkövető beta-teszt változata,
mintapélda kóddal és a futást mutató szkirpttel együtt letölthető
innen.
Helyszín: 2006.09.18.-től az előadások az IB.134-ben
lesznek.
NLP levlista: Lehet feliratkozni a levlistára
Vizsgák
(A szóbeli vizsga csak javításra szolgál, nem kell rá külön jelentkezni):
- 2007. január 17. szerda, írásbeli: 8:00-11:00, IE2.20; szóbeli
(esetleg): 11:00-14:00, IE2.19.
- 2007. január 31. szerda, írásbeli: 8:00-11:00, IE2.20; szóbeli
(esetleg): 11:00-14:00. IE2.20.
SICStus licensz igényelhető az ETS-rendszerben
Az összes (1., 2., 3. és 4.) kis házi feladat beadható, a részleteket lásd alább.
Nagy házi feladat
A házi feladat kiírása.
A 2004. évi összes előadás fóliái (1.-187. fólia)
(2006-ban egyelőre nincs változás ezekhez képest.)
A 2002. évi előadásokról készült jegyzet-kézirat
Példaprogramok
- Programok - az
előadáson ismertetett/ismertetendő
példaprogramok szövege (első 4 előadás).
A kis házi feladatok beadása
A kis házi feladatok beadásához be kell jelentkezni az NLP ETS rendszerébe. Ezután "HF beadás" menűpont alatt lehet
a kis házi feladatot beadni.
1. kis házi feladat:
A kiírás a fóliákon (lásd fent) megtalálható, de a szóbanforgó két
oldal (PDF alakban) innen is
letölthető. A kiírás kiegészítése itt található.
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 letölthetők innen. .
Az 1. kis házi feladat beadása:
A KHF az NLP ETS rendszerének segítségével adható be.
A beadási határidő 2006 október 30., hétfő, 24 óra.
A határidőig beadott, jól működő programokra 2 pluszpont jár.
A házi feladat ez után a határidő után is beadható, egészen a vizsga napjáig, 1 pluszpontért.
2. kis házi feladat:
A kiírás a fóliákon megtalálható, de a szóbanforgó egy
oldal (PDF alakban) innen is
letölthető.
Fontos megjegyzesek:
- Az egyes "szavak" elemei különböző számok
kell legyenek.
- Az egy kockából álló "szavak"-nak
nincs megadva az összege, tehát ez esetben is x szerepel az összeg
helyén! (Lásd pl. az alábbi tesztpéldák között a
p2
példában a mátrix 4. sorának 3. oszlopában szereplő x\x értéket!).
A kis házi feladat tesztpéldái megtalálhatók
itt.
A 2. kis házi feladat beadása:
A KHF az NLP ETS rendszerének segítségével adható be.
A beadási határidő 2007 január 1., hétfő, 24 óra.
A határidőig beadott, jól működő programokra 2 pluszpont jár.
A házi feladat ez után a határidő után is beadható, egészen a vizsga napjáig, 1 pluszpontért.
3. kis házi feladat:
Az FD predikátumok jelentését ellenőrző segédprogram letölthető
innen.
A kiírás a fóliákon megtalálható, de a szóbanforgó egy
oldal (PDF alakban) innen is
letölthető.
A kis házi feladat futtatásakor a következő segédeljárást használom:
fdtest([X,Y,Z,B], Goal, [XR,YR,ZR,BR]) :-
domain([X,Y,Z], 0, 9),
'z>max(x,y)'(X, Y, Z) #<=> B,
call(Goal),
fd_dom(X, XR),
fd_dom(Y, YR),
fd_dom(Z, ZR),
fd_dom(B, BR).
A házi feladat beadása:
- Ez a 3. kis házi feladat, ezért a megoldást
egy
khf-nlp3.pl nevű állományba kell helyezni.
Vigyázat! A megoldásban nem írhatók "közönséges",
:- nyakjelű Prolog klózok, csak FD-klózok.
- A beadási határidő 2006. január 8., hétfő, 24 óra.
4. kis házi feladat:
A kiírás a fóliákon megtalálható, de a szóbanforgó egy
oldal (PDF alakban) innen is
letölthető.
A kis házi feladat futtatásakor a következő környezetet használom:
:- use_module(library(lists)).
:- assert(clpfd:full_answer).
globtest(Before, Constraint, After, Result) :-
Constraint = max_lt(List, Z),
Goal = (Before, Constraint, After,
fd_doms([Z|List], [ZDom|ListDom])),
( call_residue( Goal, Residue) ->
( member(_-(_:max_lt(_,_)), Residue) ->
Result = active(ListDom, ZDom)
; Result = exited(ListDom, ZDom)
)
; Result = failed
).
fd_doms([V|Vs], [D|Ds]) :-
fd_dom(V, D),
fd_doms(Vs, Ds).
fd_doms([], []).
step_up(X, _I) :-
nonvar(X), !.
step_up(X, I) :-
X #> I, I1 is I+1,
step_up(X, I1).
Példafutások:
| ?- globtest(true, max_lt([A,B,C],Z), (A in 1..5, B #> 2, Z in 0..6), Result).
Result = active([1..5,3..5,inf..5],4..6) ? ;
no
| ?- globtest(domain([X,Y,Z], 0, 9), max_lt([X,Y],Z), (Z=5, Y=6), Result).
Result = failed ? ;
no
| ?- globtest(true, max_lt([A],Z), (A in {0,9}, Z in {3,6}), Result).
A = 0,
Result = exited([{0}],{3}\/{6}) ? ;
no
| ?- globtest((length(L, 500),domain(L, 1, 5) , X in 5..10000),
max_lt([X|L], Z),
step_up(X, 5), Result).
L = [_A,_B,_C,_D,_E,_F,_G,_H,_I,_J|...],
X = 10000,
Result = exited([{10000},1..5,1..5,1..5,1..5,1..5,1..5,1..5,... .. ...|...],10001..sup) ? ;
no
| ?-
Megjegyzések:
- Az utolsó teszt hivatott azt eldönteni, hogy a megoldás használ-e
állapotot, vagy sem. Állapot nélkül ugyanis 500-szor több listaelemet
kell végignéznie...
- Az eredményben a struktúra funktora jelzi, hogy a globális korlát
lefutott-e (
exited), vagy sem (active). Mivel a lefutás pontos
ellenőrzése általában felesleges, ezért az active
elfogadható az exited helyett, de nem fordítva. Például
a fentiek közül az utolsó két esetben a tesztrendszer elfogadja az
active funktorú eredményt, de az első tesztesetben az
exited eredményt nem.
A házi feladat beadása:
- Ez a 4. kis házi feladat, ezért a megoldást
egy
khf-nlp4.pl nevű állományba kell helyezni.
- A beadási határidő 2006. január 8., hétfő, 24 óra.
Esettanulmányok:
- Négyzetkirakás --- az
előadáson ismertetett négyzetkirakási esettanulmány.
- Torpedó
--- Az 1999-es házi-feladat (torpedó) mintamegoldása.
- Dominó ---
A 2000 tavaszi házifeladat (dominó) mintamegoldásai.
Gyakorló vizsga-feladatok:
A korábbi évek vizsga-feladat-sorai:
Az
nhlp-l levelezési lista
A rokon tárgyakról, korábbi félévekről Szeredi
Péter oktatási honlapján található
információ.