Hello!
4-es hazinal valami gond van az ebredesi lista osszerakasanal. A kovetkezo
predikatumot irtam ra:
% minmax(Xs,Susp) : Susp minmax(X)-ek listája minden X-re
minmaxl([], []).
mimmaxl([X|Xs], [minmax(X)|Susp]) :-
minmaxl(Xs,Susp).
Ugy gondoltam, hogy ez egy [A,B,C,D] listabol szepen csinal nekem egy
[minmax(A),minmax(B),minmax(C),minmax(D)] listat, hasonloan, ahogy ez a 109.
oldalon dom(X)-szel megy. Ehelyett, viszont meghiusul minden nem ures
listara...
Miert??
Koszi
Peti
Hello!
Azt olvastam a fóliákon, hogy a kérdező klózok csak egy indexikálist
tartalmazhatnak. Ezek is csak (X in halmazkifejezés) alakúak lehetnek?
A jelenlegi eszközökkel elképzelésem sincs, hogy fogható meg a
következő állítás:
Z>max(X,Y) biztosan nem teljesül, ha min(X)>max(Z) vagy min(Y)>max(Z).
(negatív kérdező indexikális)
X-re és Y-ra föl lehetne írni a feltételt, de utána ezeknek nem tudom a
konjunkcióját képezni.
Peti
Szia!
Mi a különbség a 120-as fólián az X in \{Y}, és az X in \dom(Y)
indexikális között? Miért van egyáltalán szükség arra, hogy a
változókat dom-ba ágyazzuk be?
Előre is köszönöm a válaszokat.
Üdv: Peti
Szia!
A csatolt programmal sikerült érdekes jelenségeket kicsiholnom a
Sicstusból.
Betöltés után beírtam a következőt:
domain([X,Y,U,Z], 0, 9), max_lt([X,Y,U], Z).
Először "segmentation violation" a válasz, másodszorra kilép a
Sicstusból. A hiba világos számomra: globális korlátban csak az Action
listában szűkíthetek, de ettől még nem kellene elszállnia a
rendszernek.
Pallos Péter
Sziasztok!
A fóliákon azt olvastam, hogy globális korlátoknál "a korlát törzsében
tilos szűkítéseket végezni". Ez ugye csak azokra a változókra vonatkozik,
amiket a korlát szűkít?
Tehát létrehozhatok egy új változót a korlátban, és azt szűkíthetem, ahogy
akarom, ugye?
Másrészt mindegy, hogy az Actions listába hova teszem az exit-et? A végére
kell tenni?
Ádám
ziasztok!
Azt szeretném kérdezni, hogy a honlapon levő FD predikátumok
jelentését ellenőrző segédprogramot hogy kell használni. Azt írja az
fdcheck.pl, hogy "Load this file to have your FD predicates checked
against a Prolog relation.". Betöltöttem, de nem láttam semmi
tesztelést, igaz nem is írtam még meg mind a 4 indexikálist.
Ádám
A 3. es 4. kis hazi kiirasa fenn van a honlapon, es a hazik be is adhatok.
A 4. KHF globalis korlat megirasat keri, errol mar "mindent tudtok" :-).
A 3. KHF teljes megirasahoz szukseg van a kovetkezo oran elmondando
ismeretekre is (kerdezo indexikalisok).
-Peter