Sziasztok!
Íme a problémám:
| ?- load_files('minib').
% loading c:/nhlp/minib.po...
! relocation undefined, key=0x2400a4
! relocation undefined, key=0x6c70
Process prolog exited abnormally with code 5
Néha meg ilyen (ami lényegileg ugyanaz):
| ?- load_files('minib').
% loading c:/nhlp/minib.po...
! relocation undefined, key=0x27b4009c
! relocation undefined, key=0x0
! relocation undefined, key=0x9cbe00
! relocation undefined, key=0x6f2f00
! relocation undefined, key=0x6200000
! relocation undefined, key=0x28a000c
! relocation undefined, key=0x262f80
! relocation undefined, key=0x189a195a
Process prolog exited abnormally with code 5
Ugyanakkor egy saját prolog fájlt le tudtam fordítani, elmenteni, és betölteni a
fenti módon.
Mi a probléma? Esetleg az, hogy Windows-ban próbáltam, de a minib.po Linux-ban
készült?
Vagy nálam van a hiba?
A válaszokat előre is köszönöm,
Gyuri
Kedves Laci, kedves mindnyajan!
László Nikházy <niklaci(a)hotmail.com> writes:
> Foglalkoztam kicsit az elsõ kisházival (a clp(MiniB) megvalósításával),
Nagyon jo, nagyon orulok!
> és lenne pár kérdésem, fõleg azzal kapcsolatban, hogy mit kell
> tudnia. Most elsõ körben a clp(MiniNat) példájára megcsináltam azt, hogy
> a kifejezést felbontja mûveletenként célokra, és aztán azokat meghívja.
Felraktam a http://www.cs.bme.hu/~szeredi/nlp/ honlapra a kishazi kiirasat
(ugyanaz mint a kiosztott foliamasolatokon), plusz egy kiegeszitest;
tovabba a csak futtathato mintamegvalositast. Ezekben (ill. a mintamegoldas
segitsegevel) a kerdeseid jo reszere valaszt kaphatsz, de azert ebben a
levelben is valaszolok.
> De pl. egy sat(A*B =:= A*B) esetén elõször ugye a célsorozat valahogy így
> néz ki: =:=(C,D,1), *(A,B,C), *(A,B,D). Aztán az elsõbõl kitalálja, hogy
> C=D, de maradnak ilyesmi felfüggesztett célok, hogy: *(A,B,C),
> *(A,B,C). És ugye a végeredmény szempontjából teljesen mindegy, hogy mi a
> behelyettesítés, ezért úgy érzem, hogy "true"-t kellene válaszolnia.
Idealisan ezt tenne, es a clpb konyvtar azt is teszi. De ahogyan a foliakon
szereplo mininat megvalositas sem true-val valaszol az | ?- {X+Y=X+Y}
kerdesre, hanem ket felfuggesztett cellal, ez a viselkedes (tehat a
felfuggesztett celok jelenlete) teljesen elfogadhato a minib-ben is.
> Hasonló helyzet van egy sat(A + ~A)-val, itt a jelenlegi vagy-om nem
> látja azt, hogy a kettõ közül legalább az egyik 1-es, és vár arra, hogy
> behelyettesítõdjön az A.
Igen, ez is elfogadhato.
> Az a kérdésem, hogy ilyeneket tudnia kell megoldani a sat-nak, és ha
> igen, akkor kaphatnék-e egy kis segítséget, hogy hogy érdemes csinálni.
Mivel most nem egy "igazi" sat megoldo a cel, hanem a korutinszervezes
gyakorlasa, ezert ilyeneket nem kell a sat-nak eszrevennie.
> Még az nem világos, hogy a count-nak mit kell tudni. Pl. kell olyat
> figyelnie, hogy a listában milyen behelyettesített értékek vannak már,
> és hogy akkor a maradék kitöltése már egyértelmû?
Igen.
> Mondjuk egy
> count([A,B,0,C,0,1],4) esetén ugye egyértelmû, hogy A=B=C=1, de a
> jelenlegi programom ezt nem látja.
Ezen javits...
> Még bonyolultabb az eset mondjuk egy
> count([A,A,0,B,0,1],3) esetén. Ezekbõl mit kell tudnia a programnak?
Ezt nem kell tudnia, azaz count-nak nem kell foglalkoznia a valtozok
azonossaganak vizsgalataval. Alabb beidezem a honlaprol is elerheto
"kiegeszites"-t, amely pontosan megmondja, mit kell tudnia a count-nak:
-Peter
Kiegészítés a count/2-höz
=========================
A count/2 predikátummal szemben elvárás:
a. ne csináljon választási pontot (lásd a 4. futási példát a fólián).
b. count(L, N)-ben, ha az L lista N db elemérõl kiderül, hogy 1-es, akkor nem
vár további változó-behelyettesítésre és a fennmaradó változókat
behelyettesíti 0-ra.
Pl. a `count([X,Y,Z], 1), Z=1' célsorozat az `X=0, Y=0, Z=1' eredményt adja.
c. count(L, N)-ben, ha az L lista len(L)-N db elemérõl kiderül, hogy 0, akkor nem
vár további változó-behelyettesítésre és a fennmaradó változókat
behelyettesíti 1-re.
Pl. a `count([X,Y,Z], 2), Z=0' célsorozat az `X=1, Y=1, Z=0' eredményt adja.
Sziasztok!
Mivel a szerda du mindenkinek elfogadható, az eloadas idopontja szerda
16:15-17:45, IB.134.
Elkeszult a targy honlapjanak kezdeti valtozata:
http://www.cs.bme.hu/~szeredi/nlp/
Felvittem a Neptun-kodjaitokat az NDP ETS rendszerebe:
http://cs.bme.hu/~szeredi/oktatas/nlp/ets.html
Kerlek jelentkezzetek be (a kezdokepernyon leirt, a DP targynal mar
megszokott modon), es igenyeljetek SICStus 4.1.2-es licenszet (ezt
hasznaljuk majd a targyhoz), toltsetek le es installaljatok.
Ha barmi gondot lattok, irjatok.
Akkor holnap, szerdan 16:15-kor talalkozunk.
-Peter
Sziasztok!
Felraktam a mai gyakorlat feladatait ide:
www.cs.bme.hu/~zombori/BME/ndp/gyak1b.pl
A korabban megbeszeltek alapjan az utolso 2 feladatnak nem raktam bele a
megoldasat, mivel ezek egy az egyben a hazi feladat reszei. Viszont
barmilyen megoldast, megoldaskezdemenyt atkuldhettek nekem, szivesen
megnezem es visszajelzek.
Udv
Zsolt
Kedves Mindnyajan!
Lassan veget er a Doodle szavazas, csak Domboróczky Attila valasza
hianyzik. Ket olyan idopont van, ami nem tartalmaz piros jelzest:
szerda 16-18 8 zold, 1 sarga
pentek 14-16 4 zold, 5 sarga
Mivel igertem egy vegso szavazast, ezert a kovetkezo ket kerdesre kerek
igen-nem valaszt Toletek, beleertve Attilat is:
A. Elfogadhato-e szamodra a szerda 16-18 idopont?
B. Ha valakinek nem elfogadhato az A varians, elfogadhato-e szamodra a
pentek 14-16 idopont?
Kerem, hogy a kerdesekre legeslegkesobb hetfo ejfelig valaszoljatok,
lehetoleg a levlistara.
Ha az A kerdesre mindenki igennel valaszol, akkor
az eloadas idopontja: szerda 16-18 (elso alkalom szept 8).
Egyebkent, ha a B kerdesre mindenki igennel valaszol, akkor
az eloadas idopontja: pentek 14-16 (elso alkalom szept 10).
Egyebkent az eloadas idopontja hetfo 8-10, elso alkalom szept 13.
(A fentiekbol kovetkezik, hogy ha valaki nem valaszol akkor az utolso
alternativa lep eletbe :-*()
Tehat holnap, hetfon NEM lesz eloadas, kesobb egy csutortoki reggelen
bepotoljuk ezt, ha -- sajnalatos modon -- az utolso alternativat kell
valasztani.
Udv,
Peter
Kedves NDP hallgatok!
Koszonom a gyors valaszokat. Mar csak Svigruha Gergo nem reagalt.
Alabb kuldom a beerkezett leveleket.
Mivel teljes egyetertes szukseges a valtashoz, ugy tunik a szerda 10-12
kiesik. Probalhatunk keresni egy masik, mindenkinek jo idopontot, annal
is inkabb, mert nekem sem a legjobb a hetfo reggel.
Felvettem minden erintettet az nhlp-l levlistara
http://www.cs.bme.hu/mailman/listinfo/nhlp-l
nhlp-l(a)cs.bme.hu
Azt kerem, hogy a fenti levlista cimre valaszoljatok, hogy minden erintett
megkapja.
Szeredi Peter
===========================================================================
from László Nikházy <niklaci(a)hotmail.com>
Kedves Péter, kedves hallgatótársak!
Az lenne a kérdésem, hogy a nagyon szerencsétlen hétfõ reggel 8-10-es
idõpontban lévõ Nagyhatékonyságú deklaratív programozás órát nem
tarthatnánk-e inkább szerdán, 10-12-ig. Hétfõn reggel szerintem még
mindenki nagyon álmos (illetve nekem lenne egy órám az eltén), ezért
javaslom ezt, emellett úgy tudom, hogy a szerda 10-12 idõpont nekünk
hallgatóknak jó.
üdvözlettel: Laci
===========================================================================
from Kiss György <gyurkolurko(a)yahoo.co.uk>
Tisztelt Tanár Úr!
Nekem szerdán 10-12 között Információs társadalom joga címû órám van.
A csütörtöki óra pedig már így is üti a Minõségmenedzsmentet (minden második héten).
Üdvözlettel:
Kiss György
===========================================================================
from Ildikó Fûkõ <fukoildi(a)gmail.com>
Nekem csak egy gazdhumán tárggyal ütközik, azt pedig át tudom pakolni,
részemrõl tehát rendben.
===========================================================================
from Domboróczky Attila <da651(a)hszk.bme.hu>
Támogatom az idõpont áthelyezést.
Domboróczky Attila
===========================================================================
from Bálint Ureczky <ubalint(a)gmail.com>
Kedves Péter!
Nekem megfelel,
Bálint
===========================================================================
from Engedy, Balazs <engedy.balazs(a)gmail.com>
Sziasztok!
A Hétfõ 12-14 nem lenne nektek inkább megfelelõ? Csak mert szerdánként én
egyébként nem jönnék be. Vagy nekem hiányos az kötelezõ órarendem? :)
Üdv,
Balázs
===========================================================================
from János Csorba <janos.csorba(a)gmail.com>
Sziasztok!
Nekem (és Lacinak úgyszintén) a hétfõ 12-14 nem jó, mert akkor lesz Bsz1 gyakorlatunk.
Szerdán valóban nincs (más) óránk, de nekem ettõl még jó lenne ekkor is.
János
===========================================================================
from Bankó Tibor <banko.tibor(a)gmail.com>
Sziasztok!
A szerda nekem is jó.
Tibi
===========================================================================