Szervusztok!
Nézegettem a korábbi vizsgafeladatokat, de már rögtön az elsőnél elakadtam:
pred(X, Y) +:
Y in (inf..200) /\ (inf..X*10).
„Írd fel a fenti FD-klóz (mindkét irányban) tartomány-szûkítõ változatát.”
Itt mit is kellene pontosan csinálni? X helyett max(X)-szel operálni, hogy ne csak behelyettesítéskor szűkítsen, vagy valami mást?
A mindkét irány az arra vonatkozik, hogy X-re is vegyünk fel indexikálist? Arra milyen következtetést lehet levonni Y-ból?
Tamás
Kedves Peter es mindenki!
Eloszor is szeretnem Peternek megkoszonni faradozasait, hogy a kedvemert
meg a Prolog-ot is frissitette.
Atirtam a globalis korlataimat (most egy sincs), igy segfault nelkul
lefut minden teszteset.
Aki esetleg hasonlot tapasztal: nekem az volt a benyomasom, hogy ha egy
bizonyos szamot meghaladott a globalis korlatok szama a rendszerben,
attol segfault-olt valamiert.
Mindenkinek tovabbi sikeres munkat.
Udv:
Attila
Sziasztok!
Tudja valaki, miert lehet az, hogy ami nalam itthon lefut 1-2 masodperc
alatt (3. pelda), az a szerveren segmentation fault-tal elszall?
Jopar peldanal ezt tapasztalom (amelyiknel nem, az szepen lefut boven
idon belul), de mivel nalam itthon minden rendben fut, nem tudom, mitevo
legyek. Elkepzelheto, hogy a problemat az okozza, hogy en Win-en irtam a
programot, a teszt meg Linux-on fut? Ha igen, vannak esetleg olyan
tipikus programelemek, amiket a Linux nem szeret, a Windows viszont
megeszi?
Az is erdekes azert, hogy ami nalam 2,8 masodperc alatt lefut, az a
szerveren 16 masodpercig futkos. Ennyire azert nem ta'pos a gepem... :)
Elore is koszi a segitseget.
Udv:
Nemeth Attila
Sziasztok,
van lehetoseg a SICStusban szimbolikus konstansok definiálására? A
kezikonyvben sajnos nem talaltam ennek a modjat.
Olyasmire gondolok, hogy ha azt írom, hogy ule (esetleg ULe), akkor az
mondjuk kifejtődjön 9-re.
Udv.
Jozsi
Sziasztok!
Elég érdekes jelenségre bukkantam, s nem nagyon értem.
Az alábbi jelenség akkor állt elő, ha a kérdező indexikálisokban az X-re
írtam fel kifejezést.
Viszont ha mindezt a Z-re teszem meg, akkor rendesen lefut.
fdcheck mindkét esetben hibátlanul lefut 0..9 tartományt használva.
Krisztián
> -----Original Message-----
> From: Mészáros Krisztián [mailto:mk491@hszk.bme.hu]
> Sent: Wednesday, January 05, 2005 10:20 PM
> To: 'A Nagyhatékonyságú Logikai Programozás c. tárgy listája'
> Subject: khf3
>
> Hello!
>
> Igazából nem nagyon szeretném feldobni a házimat, így viszont egy kissé
> béna lesz a kérdés:
>
> Szóval reifikációnál bár mindkét futásnak azonos eredményt kéne hoznia,
> nem az lesz.
>
> A következő műveletekről van szó:
> 1. (((8..sup) /\ 8..9) ? (inf..sup)) \/ (8..sup)
> 2. (((8..sup) /\ 9) ? (inf..sup)) \/ (8..sup)
>
> Bárhogy nézem, nálam a kettő ugyanazt a végeredményt adja fejben, de
> futásközben valahogy mégsem.
>
> Tud valaki valami magyarázatot?
>
> Köszi.
>
> Krisztián
Hello!
Igazából nem nagyon szeretném feldobni a házimat, így viszont egy kissé béna
lesz a kérdés:
Szóval reifikációnál bár mindkét futásnak azonos eredményt kéne hoznia, nem
az lesz.
A következő műveletekről van szó:
1. (((8..sup) /\ 8..9) ? (inf..sup)) \/ (8..sup)
2. (((8..sup) /\ 9) ? (inf..sup)) \/ (8..sup)
Bárhogy nézem, nálam a kettő ugyanazt a végeredményt adja fejben, de
futásközben valahogy mégsem.
Tud valaki valami magyarázatot?
Köszi.
Krisztián
Sziasztok,
azt szeretnem kerdezni, hogy a khf4 bekuldott megoldasaban miert van
szukseg a clpfd explicit betoltesere:
:- use_module(library(clpfd)).
Hiszen a clpfd betoltese nelkul mar a tesztkornyezetben szereplo step_up/2
sem volna lefordithato. Es ha a bekuldott program explicit nem tolti be a
clpfd-t, akkor futasidoben a lenti Existence error-t adja a
tesztkornyezet, amibol kovetkezoen a step_up/2 mar sikeresen lefordult,
ergo benn van a clpfd.
% loading
+/home/pp/dp/dp-shw/homeworks/04a/recent/nlp4/MartonJozsefErVZQIXX/nlp4-eval.ql.
+..
Test case user:globtest(domain([X,Y,Z],0,9),max_lt([X,Y],Z),true,Res)
failed due
+to
! Existence error in '$module_being_tested':fd_global/3
! procedure '$module_being_tested':fd_global/3 does not exist
! goal:
+'$module_being_tested':fd_global(max_lt(_7138,_7134),[_7099,_7064],[az
eloallitott szuszpenzios lista])
>>>>> Normal program termination: FAILURE
Udv.:
Jozsi