https://vik.wiki/index.php?action=history&feed=atom&title=Deklarat%C3%ADv_programoz%C3%A1s_-_Prolog 2026-05-01T08:08:11Z Az oldal laptörténete a wikiben MediaWiki 1.43.8 https://vik.wiki/index.php?title=Deklarat%C3%ADv_programoz%C3%A1s_-_Prolog&diff=177805&oldid=prev 2014-02-15T17:09:20Z

<p>Szikszayl átnevezte a(z) <a href="/index.php?title=%22Elm%C3%A9leti%22_t%C3%A9telek_a_Deklarat%C3%ADv_Programoz%C3%A1s_c._t%C3%A1rgy_Prolog_r%C3%A9sz%C3%A9hez&amp;action=edit&amp;redlink=1" class="new" title="&quot;Elméleti&quot; tételek a Deklaratív Programozás c. tárgy Prolog részéhez (a lap nem létezik)">&quot;Elméleti&quot; tételek a Deklaratív Programozás c. tárgy Prolog részéhez</a> lapot a következő névre: <a href="/Deklarat%C3%ADv_programoz%C3%A1s_-_Prolog" title="Deklaratív programozás - Prolog">Deklaratív programozás - Prolog</a></p> <table style="background-color: #fff; color: #202122;" data-mw="interface"> <col class="diff-marker" /> <col class="diff-content" /> <col class="diff-marker" /> <col class="diff-content" /> <tr class="diff-title" lang="hu"> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">← Régebbi változat</td> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">A lap 2014. február 15., 19:09-kori változata</td> </tr><tr><td colspan="4" class="diff-notice" lang="hu"><div class="mw-diff-empty">(Nincs különbség)</div> </td></tr> <!-- diff cache key my_wiki:diff:1.41:old-137123:rev-177805 --> </table>

Szikszayl https://vik.wiki/index.php?title=Deklarat%C3%ADv_programoz%C3%A1s_-_Prolog&diff=137123&oldid=prev 2012-10-21T19:54:56Z

<p>Új oldal, tartalma: „{{GlobalTemplate|Infoalap|DeklaPoPLTetelek}} A hallgatónak az alább felsorolt témák egyikéről kell 3-5 percben beszélnie, nagyvonalú áttekintést adva az ado…”</p> <p><b>Új lap</b></p><div>{{GlobalTemplate|Infoalap|DeklaPoPLTetelek}}<br /> <br /> <br /> A hallgatónak az alább felsorolt témák egyikéről kell 3-5 percben<br /> beszélnie, nagyvonalú áttekintést adva az adott anyagrészről, kb 5-10<br /> perces felkészülés után. Bizonyos témák egy vagy két konkrét Prolog<br /> eljárásról szólnak (pl. listák megfordítása, append/3), ilyenkor a<br /> felkészülés részeként célszerű ezen eljárások közül legalább egynek a<br /> kódját felírnia.<br /> <br /> Az alábbi felsorolásban a téma megnevezését követően<br /> hivatkozunk a jegyzet megfelelő alfejezeteire (x.y, x.y.z alakban, esetleg<br /> oldalszám megadásával). Ha az előadás-fóliákon a jegyzetet kiegészítő<br /> információ is található, akkor a szóbanforgó fóliák sorszámát is jelezzük<br /> (I.k az első rész, II.k a második rész k. fóliája, lásd a honlapot).<br /> <br /> * Programok szerkezete, eljárás, klóz, kifejezés fogalma, kifejezések osztályozása<br /> ** 3.1.1 - 3.1.3<br /> <br /> * A nyelv végrehajtási mechanizmusa (redukciós lépés, visszalépés)<br /> ** 3.2.2 (30-32 old.), 3.5.1<br /> <br /> * Az egyesítési algoritmus<br /> ** 3.2.2 (27-29)<br /> <br /> * Prolog végrehajtási modellek: keresési fa, doboz modell<br /> ** 3.5 bevezető, 3.5.2, I.75-87<br /> <br /> * Diszjunkciók és feltételes szerkezetek, kiváltásuk segédeljárással<br /> ** 3.2.3, 3.7.2, I.93-96, I.99-103, II.16<br /> <br /> * Operátorok<br /> ** 3.1.5, I.50-58<br /> <br /> * Listák jelölése, nyílt és zárt végű listák<br /> ** 3.3 bevezető, 3.3.1, 3.4, I.113-118<br /> <br /> * Keresés listákban (a select/3 és member/2 eljárások)<br /> ** 3.5.3, I.126-128<br /> <br /> * Listák összefűzése és szétszedése (az append/3 eljárás többirányú használata)<br /> ** 3.3.2, 3.5.5<br /> <br /> * Listák megfordítása (naív és hatékony megoldás)<br /> ** 3.3.3<br /> <br /> * Típusok Prologban<br /> ** 3.1.4, 3.9<br /> <br /> * A vágó beépített eljárás definíciója, a vágás alapesetei<br /> ** 4.1.1, 4.1.2 (eleje), II.12-15<br /> <br /> * A vágó használata: elkötelezés adott klóz mellett, a vágás alapszabálya<br /> ** 4.1.3 P3 példa, II.18-21<br /> <br /> * A vágó használata: első megoldásra való szűkítés (memberchk/2)<br /> ** 4.1.3 P4 példa, II.23-25<br /> <br /> * A negáció és megvalósítása vágóval, feltételes kifejezéssel<br /> ** 5.2-ben, I.97-98, I.102, II.31<br /> <br /> * Vezérlési eljárások<br /> ** 5.2, II.27-32<br /> <br /> * Determinizmus, indexelés és kölcsönhatásuk<br /> ** 4.2.1, 4.2.2, 85-87, II.34-40<br /> <br /> * A vágó és az indexelés kölcsönhatása<br /> ** 4.2.4, 4.2.5, II.41-43<br /> <br /> * A jobbrekurzió fogalma<br /> ** 4.3.1, II.50-52<br /> <br /> * Akkumulátorok, listák akkumulálása elölről ill. hátulról<br /> ** 4.3.2, 4.3.3<br /> <br /> * Változó-értékadáson alapuló algoritmusok átírása Prologba<br /> ** 4.4<br /> <br /> * Megoldásgyűjtő beépített eljárások<br /> ** 4.6, 5.9<br /> <br /> * Struktúrák szétszedése és összerakása: az univ, functor/3 és arg/3 beépített eljárások<br /> ** 4.7.2, (5.8.1-ben)<br /> <br /> * Kifejezések szabványos sorrendje, kifejezés-összehasonlító beépített eljárások<br /> ** 4.7.4, (5.6), 225-228<br /> <br /> * Egyenlőségszerű beépített eljárások összehasonlítása<br /> ** 4.8, 230-232<br /> <br /> * A [[SICStus]] Prolog modulfogalma<br /> ** 4.9, (6.1), 234-236<br /> <br /> * Magasabbrendű eljárások<br /> ** 4.10, 238-243<br /> <br /> * Dinamikusadatbázis-kezelő beépített eljárások<br /> ** 4.11, 245-251<br /> <br /> * DCG nyelvtanok, használatuk elemzésre<br /> ** 4.12.1, 4.12.2<br /> <br /> _[http://dp.iit.bme.hu/prolog/eloadas_anyagok/pl_tetelek.txt A hivatalos oldalon lévő link.]_<br /> <br /> <br /> [[Category:Infoalap]]</div>

Unknown user