[NHLP-l] bagof helyett

Írtam egy univerzális kvantort, amivel korlátokat is el lehet helyezni. Gondolom másnak is jól jöhet. tmp_id(X):- tmp_id_counter(X), X1 is X+1, abolish(tmp_id_counter/1), assert(tmp_id_counter(X1)). % reconsult eseten ne induljon elolrol az tmp_id_counter :- \+ ((clause(tmp_id_counter(X),_),integer(X))), assert(tmp_id_counter(1)). /* Olyan eljaras, amely a bagof-hoz hasonloan mukodik, de nem keszit masolatot bizonyos adatstruktukturakrol (Nocopy). NCS- nocopy symbol (a selectorban szerepelhet) X - index, ami a Filterben szerepelhet; tomornek kell lennie, maskulonben masolat keszul rola (ugyanis a lehetseges indexeket assert-el taroljuk) Iterator - Egy cel. Iterator es szuro egyben (az X-ek halmazat generalja, visszalepessel) Selector - Egy cel. Miutan megvan az X-ek halmaza, kivalaszthatjuk Nocopy-bol a szukseges elemet; a Selector-ban levo kifejezesnek az ervenyes (vagyis a Filternek megfelelo) X-ekre sikerulnie kell, kivetel nelkul (a kulonbozo Selector kifejezesek ES kapcsolatba kerulnek majd egymassal; korlatok felvetlere kivaloan hasznalhato; a Nocopy-ban lehetnek korlat valtozok is!). A Selector-ban nem szerepelhet a Nocopy valtozo! Ehelyett az NCS hasznalando. Az Y-nak is itt kell erteket kapnia. Y - a minket erdeklo valtozo (ebbol keszul az YL lista) pelda: NC legyen egy harom hosszu lista, es minden eleme egyezzen meg a listaban elfoglalt helyevel (ez meg mukodne bagoffal is) length(NC,3),anditerator(NC-NCS,Index,nth0(Index,NC,_), (nth0(Index,NCS,Index)),Index,L). pelda2: (Ez mar FD-vel) a listaban legyenek egymast koveto szamok length(NC,3),anditerator(NC-NCS,Index,nth0(Index,NC,_), ( Index>0 -> nth0(Index,NCS,E),I2 is Index-1,nth0(I2,NCS,E2),E#=E2+1; Index=0 % e nelkul meghiusulna az anditerator ), Index,L). */ anditerator(Nocopy-NCS,X,Iterator,Selector,Y,YL):- tmp_id(Id), ( call(Iterator),assertz(tmp_goal(Id,X)),fail ; true ), callgoallist(Id,Nocopy-NCS,X,Selector,Y,YL). callgoallist(Id,Nocopy-NCS,X,Selector,Y,YL):- copy_term(X-Selector-Y-NCS,XC-SelectorC-YC-NCSC), % ez lekoti SelectorC-ben az XC valtozot call(tmp_goal(Id,XC)), nondeb:remclaus(tmp_goal(_,_)) -> ( % SelectorC-ben leköti A Nocopy szimbólumot (NCSC) NCSC = Nocopy, retract(tmp_goal(Id,XC)), % itt helyettesitodik be YC call(SelectorC), callgoallist(Id,Nocopy-NCS,X,Selector,Y,YT), YL=[YC|YT] ) ; YL=[]. % ez a ketto csak a debuggolashoz kell nondeb:remclaus(H):- write('\n********************\n'), bagof(H,(clause(H,_),mdeb(H,'---clause')),_). mdeb(V,S):- write('\n'), write(S), write(':'), write(V), write('\n'). -- Zsíros Levente