Kozaróczy Zsolt, 2014. október 30., 11:48-n

2014-10-30T11:48:28Z

← Régebbi változat		A lap 2014. október 30., 13:48-kori változata
14. sor:		14. sor:
	==Kedvcsináló==		==Kedvcsináló==

	A tárgy méltó folytatása a [[~~DeklaPo\|~~Deklaratív programozás]]nak. Megtanuljuk, hogy a nagy házi feladathoz hasonló jellegű problémákat hogyan oldjuk meg egyharmad annyi kóddal, és nagyságrendekkel jobb futásidővel. Elég a feladatot leíró szabályokat (constraint) pontosan definiálni, a keresést elvégzi a [[SICStus]] valamelyik [http://en.wikipedia.org/wiki/Constraint_satisfaction_problem CSP] modulja. A CLPFD modulban gazdag constraint gyűjteményből válogathatunk, de magunk is definiálhatunk összetett korlátozásokat.		A tárgy méltó folytatása a [[Deklaratív programozás]]nak. Megtanuljuk, hogy a nagy házi feladathoz hasonló jellegű problémákat hogyan oldjuk meg egyharmad annyi kóddal, és nagyságrendekkel jobb futásidővel. Elég a feladatot leíró szabályokat (constraint) pontosan definiálni, a keresést elvégzi a [[SICStus]] valamelyik [http://en.wikipedia.org/wiki/Constraint_satisfaction_problem CSP] modulja. A CLPFD modulban gazdag constraint gyűjteményből válogathatunk, de magunk is definiálhatunk összetett korlátozásokat.

	Az utolsó néhány órán a Prologhoz kísértetiesen hasonló Mercury nyelv alapjait sajátítjuk el. A fő különbség az, hogy kiirtottak minden olyan nyelvi elemet, ami meghatározza a klózok végrehajtási sorrendjét. A beolvasást és a kiírást is deklaratív módon oldották meg. Eltűnt a vágó, megjelent a típusok, a predikátum hívási és determinizmus módok támogatása.		Az utolsó néhány órán a Prologhoz kísértetiesen hasonló Mercury nyelv alapjait sajátítjuk el. A fő különbség az, hogy kiirtottak minden olyan nyelvi elemet, ami meghatározza a klózok végrehajtási sorrendjét. A beolvasást és a kiírást is deklaratív módon oldották meg. Eltűnt a vágó, megjelent a típusok, a predikátum hívási és determinizmus módok támogatása.

Unknown user: Új oldal, tartalma: „{{GlobalTemplate|Valaszthato|Nagy6LogProg}} TOC ==Tárgy adatok== * A tárgy honlapja: [http://www.cs.bme.hu/~szeredi/oktatas/nlp/ friss], [http://www.cs.bme.hu…”

2012-10-22T11:44:43Z

Új oldal, tartalma: „{{GlobalTemplate|Valaszthato|Nagy6LogProg}} __TOC__ ==Tárgy adatok== * A tárgy honlapja: [http://www.cs.bme.hu/~szeredi/oktatas/nlp/ friss], [http://www.cs.bme.hu…”

Új lap

{{GlobalTemplate|Valaszthato|Nagy6LogProg}}

__TOC__

==Tárgy adatok==

* A tárgy honlapja: [http://www.cs.bme.hu/~szeredi/oktatas/nlp/ friss], [http://www.cs.bme.hu/~szeredi/oktatas/ archívum]
* Tantárgyi adatlap: http://www.vdk.bme.hu/targykov/valaszthato/vima9359.htm
* Levelezőlista: http://www.cs.bme.hu/mailman/listinfo/nhlp-l
* [[SICStus]] leírás: [http://www.sics.se/sicstus/docs/latest/html/sicstus/CLPB.html#CLPB CLPB], [http://www.sics.se/sicstus/docs/latest/html/sicstus/CLPQR.html#CLPQR CLPQ/R], [http://www.sics.se/sicstus/docs/latest/html/sicstus/CLPFD.html#CLPFD CLPFD]
* Mercury: http://www.cs.mu.oz.au/research/mercury/

==Kedvcsináló==

A tárgy méltó folytatása a [[DeklaPo|Deklaratív programozás]]nak. Megtanuljuk, hogy a nagy házi feladathoz hasonló jellegű problémákat hogyan oldjuk meg egyharmad annyi kóddal, és nagyságrendekkel jobb futásidővel. Elég a feladatot leíró szabályokat (constraint) pontosan definiálni, a keresést elvégzi a [[SICStus]] valamelyik [http://en.wikipedia.org/wiki/Constraint_satisfaction_problem CSP] modulja. A CLPFD modulban gazdag constraint gyűjteményből válogathatunk, de magunk is definiálhatunk összetett korlátozásokat.

Az utolsó néhány órán a Prologhoz kísértetiesen hasonló Mercury nyelv alapjait sajátítjuk el. A fő különbség az, hogy kiirtottak minden olyan nyelvi elemet, ami meghatározza a klózok végrehajtási sorrendjét. A beolvasást és a kiírást is deklaratív módon oldották meg. Eltűnt a vágó, megjelent a típusok, a predikátum hívási és determinizmus módok támogatása.

Év közben teljesíteni lehet néhány kis- és egy nagy házi feladatot. Nem kötelezők, de egyrészt pontot jelentenek a vizsgán, másrészt gyakorlati tapasztalat nélkül nagyon nehéz jól teljesíteni vizsgán. A számonkérés szóbeli, egyszerűbb feladatokat kell papíron megoldani, majd bemutatni. Szeredi nagyon rendes a javításnál: az egyik feladatot csak harmadik nekifutásra sikerült helyesen megoldanom, de így is csak két pontot vont le, és mindig segített, hogy hol rontottam el. Aki becsületesen végigcsinálta a házi feladatokat, gond nélkül megkapja az ötöst. Hivatalos létraverseny nincs, de a vizsgaidőszakban összeültünk egyszer, és kielemeztük a beadott házifeladatokban alkalmazott trükköket.

-- [[PallosPeter|Peti]] - 2006.07.10.

==Példaprogramok==

* [http://www.fefo.biz/jatek/oldgame199.html FEFO 199. rejtvény] és {{InLineFileLink|Valaszthato|Nagy6LogProg|fefo199.pl.txt|megoldása}}
* [http://www.fefo.biz/jatek/oldgame203.html FEFO 203. rejtvény] és {{InLineFileLink|Valaszthato|Nagy6LogProg|fefo203.pl.txt|megoldása}} (megjegyzés: a megoldáshoz a [[SICStushoz]] adott suudoku modult használtam)
* [http://www.fefo.biz/jatek/oldgame234.html FEFO 234. rejtvény] és {{InLineFileLink|Valaszthato|Nagy6LogProg|fefo234.pl.txt|megoldása}}
* [http://www.fefo.biz/jatek/oldgame235.html FEFO 235. rejtvény] és {{InLineFileLink|Valaszthato|Nagy6LogProg|fefo235.pl.txt|megoldása}}
* [http://www.fefo.biz/jatek/oldgame239.html FEFO 239. rejtvény] és {{InLineFileLink|Valaszthato|Nagy6LogProg|fefo239.pl.txt|megoldása}} (megjegyzés: a megoldás nem egyértelmű)
* [http://www.fefo.biz/jatek/oldgame243.html FEFO 243. rejtvény] és {{InLineFileLink|Valaszthato|Nagy6LogProg|fefo243.pl.txt|megoldása}} (megjegyzés: nem használtam ki minden megkötést)
* [http://www.fefo.biz/jatek/oldgame248.html FEFO 248. rejtvény] és {{InLineFileLink|Valaszthato|Nagy6LogProg|fefo248.pl.txt|megoldása}}
* [http://www.fefo.biz/jatek/oldgame269.html FEFO 269. rejtvény] és {{InLineFileLink|Valaszthato|Nagy6LogProg|fefo269.pl.txt|megoldása}}

-- [[PallosPeter|Peti]] - 2007.08.28.

%META:FORM{name="ValaszthatoForm"}%
%META:FIELD{name="Trgy" title="Tárgy" value="Nagyhatékonyságú logikai programozás"}%
%META:FIELD{name="Trgykd" title="Tárgykód" value="vima9359"}%
%META:FIELD{name="Tanszk" title="Tanszék" value="SZIT"}%
%META:FIELD{name="Elad" title="Előadó" value="Szeredi Péter"}%
%META:FIELD{name="Kreditszm" title="Kreditszám" value="3"}%
%META:FIELD{name="raszm" title="Óraszám" value="2"}%
%META:FIELD{name="Flv" title="Félév" value=""}%
%META:FIELD{name="Terlet" title="Terület" value="Programozás"}%
%META:FIELD{name="raijelenlt" title="Órai jelenlét" value="ajánlott"}%
%META:FIELD{name="Jegy" title="Jegy" value="vizsga , kis házik , nagy házi "}%
%META:FIELD{name="Elvrtmin.munka" title="Elvárt min. munka" value="bejárás"}%
%META:FIELD{name="Minimumrajrjegy" title="Minimumra járó jegy" value="4"}%
%META:FIELD{name="Elvrtmax.munka" title="Elvárt max. munka" value="kis utánaolvasás - kis munka"}%
%META:FIELD{name="Munkrajrjegy" title="Munkára járó jegy" value="5"}%

[[Category:Valaszthato]]

Nagyhatékonyságú logikai programozás - Laptörténet

Kozaróczy Zsolt, 2014. október 30., 11:48-n

Unknown user: Új oldal, tartalma: „{{GlobalTemplate|Valaszthato|Nagy6LogProg}} __TOC__ ==Tárgy adatok== * A tárgy honlapja: [http://www.cs.bme.hu/~szeredi/oktatas/nlp/ friss], [http://www.cs.bme.hu…”

Unknown user: Új oldal, tartalma: „{{GlobalTemplate|Valaszthato|Nagy6LogProg}} TOC ==Tárgy adatok== * A tárgy honlapja: [http://www.cs.bme.hu/~szeredi/oktatas/nlp/ friss], [http://www.cs.bme.hu…”