Tényleg az volt a baj, hogy meghiusult. Kijavítva lefutott helyesen. Ezután
javítottottam a filter hatékonyságán. Erre viszont segmentation violation
hibaüzenettel jött s leállt. 2. futtatásra meg le is fagyott a Sicstus. Ez
mi miatt lehet?
----- Original Message -----
From: "Szeredi Peter" <szeredi(a)cs.bme.hu>
To: "A Nagyhatekonysagu Logikai Programozas c.targy listaja"
<nhlp-l(a)cs.bme.hu>
Sent: Wednesday, January 26, 2005 1:46 PM
Subject: [NHLP-l] Re: Globalis korlat hiba
"Fozo Csaba" <fozocsabi(a)freestart.hu> writes:
Sziasztok!
Írtam 1 globális korlátot ami a könyvtári sum-ot egészíti ki ugy, hogy a
listában amit összegez ne lehessenek egyedül álló 1esek. A lista csak
1esekbõl és 0kból áll. Sajnos vmiért elszáll a tõle a sicstus. Ha
valakinek
van 1 kis ideje, nézze meg légyszives, hogy mi lehet vele a gond!
`clpfd:dispatch_global(+CONSTRAINT, +STATE0, -STATE, -ACTIONS)
"extendible"'
Tells the solver how to solve constraints of the form CONSTRAINT.
Defined as a dynamic, multifile predicate.
When defining a new constraint, a clause of this predicate must be
added. Its body defines a constraint solving method and should
always succeed determinately.
A te filter-ed siman meg tud hiusulni, valoszinu, hogy ez a baj.
(meghiusulas helyett Action = [fail] kell.
-Peter
_______________________________________________
NHLP-l mailing list
NHLP-l(a)cs.bme.hu
http://cs.bme.hu/mailman/listinfo/nhlp-l