Nagyhat�konys�g� Logikai Programoz�s, 2004 �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.

Nagy h�zi feladat

A h�zi feladat ki�r�sa.

A h�zi feladat a bead�szkript seg�ts�g�vel k�ldhet� be.

A janu�r 15.-�n vizsg�z�k janu�r 13. 8:00-ig, a janu�r 29.-�n vizsg�z�k janu�r 27. 8:00 -ig adj�k be a nagy h�zi feladatot.

A 2004. �vi �sszes el�ad�s f�li�i (1.-187. oldal)

A 2002. �vi el�ad�sokr�l k�sz�lt jegyzet-k�zirat

P�ldaprogramok

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:

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:

A kis h�zi feladat tesztp�ld�i megtal�lhat�k itt.

A 2. kis h�zi feladat bead�sa:

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:

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:

A h�zi feladat bead�sa:

Esettanulm�nyok:

Gyakorl� vizsga-feladatok: A kor�bbi �vek vizsga-feladat-sorai:

Sicstus licensz ig�nyelhet� az ETS-rendszerben

Az nhlp-l levelez�si lista