Deklaratív programozás - Logikai programozás - Laptörténet

Szikszayl: Szikszayl átnevezte a(z) Logikai programozás - PL lapot a következő névre: Deklaratív programozás - Logikai programozás

2014-02-15T17:09:57Z

Szikszayl átnevezte a(z) Logikai programozás - PL lapot a következő névre: Deklaratív programozás - Logikai programozás

← Régebbi változat	A lap 2014. február 15., 19:09-kori változata
(Nincs különbség)

Balo, 2013. június 19., 00:43-n

2013-06-19T00:43:16Z

← Régebbi változat		A lap 2013. június 19., 02:43-kori változata
39. sor:		39. sor:
	# [[PrologElm28\|Dinamikus adatbáziskezelő beépített eljárások]]		# [[PrologElm28\|Dinamikus adatbáziskezelő beépített eljárások]]
	# [[PrologElm29\|DCG nyelvtanok, használatuk elemzésre]]		# [[PrologElm29\|DCG nyelvtanok, használatuk elemzésre]]

	~~[[PrologElmMind\|Összes tétel egyben (INCLUDE)]]~~


	[[Category:Infoalap]]		[[Category:Infoalap]]

Balo, 2013. június 19., 00:42-n

2013-06-19T00:42:56Z

← Régebbi változat		A lap 2013. június 19., 02:42-kori változata
35. sor:		35. sor:
	# [[PrologElm24\|Kifejezések szabványos sorrendje, kifejezés-összehasonlító beépített eljárások]]		# [[PrologElm24\|Kifejezések szabványos sorrendje, kifejezés-összehasonlító beépített eljárások]]
	# [[PrologElm25\|Egyenlőségszerű beépített eljárások összehasonlítása]]		# [[PrologElm25\|Egyenlőségszerű beépített eljárások összehasonlítása]]
	# [[PrologElm26\|A [[SICStus]] Prolog modulfogalma]]		# [[PrologElm26\|A SICStus Prolog modulfogalma]]
	# [[PrologElm27\|Magasabbrendű eljárások]]		# [[PrologElm27\|Magasabbrendű eljárások]]
	# [[PrologElm28\|Dinamikus adatbáziskezelő beépített eljárások]]		# [[PrologElm28\|Dinamikus adatbáziskezelő beépített eljárások]]

Unknown user: Új oldal, tartalma: „{{GlobalTemplate|Infoalap|PrologElm}} "Elméleti" tételek a Deklaratív Programozás c. tárgy Prolog részéhez A hallgatónak az alább felsorolt témák egyikér…”

2012-10-21T20:10:00Z

Új oldal, tartalma: „{{GlobalTemplate|Infoalap|PrologElm}} "Elméleti" tételek a Deklaratív Programozás c. tárgy Prolog részéhez A hallgatónak az alább felsorolt témák egyikér…”

Új lap

{{GlobalTemplate|Infoalap|PrologElm}}

"Elméleti" tételek a Deklaratív Programozás c. tárgy Prolog részéhez

A hallgatónak az alább felsorolt témák egyikérõl kell 3-5 percben beszélnie, nagyvonalú áttekintést adva az adott anyagrészről, kb 5-10 perces felkészülés után. Bizonyos témák egy vagy két konkrét Prolog eljárásról szólnak (pl. listák megfordítása, append/3), ilyenkor a felkészülés részeként célszerű ezen eljárások közül legalább egynek a kódját felírnia.

(Szomorú tapasztalatom szerint ezt az utolsó sort úgy kell érteni, hogy ha nem tudod felírni akkor bukta. -- [[HederMihaly|Merlin]] - 2005.06.27.)

==Kidolgozott tételek==

# [[PrologElm1|Programok szerkezete, eljárás, klóz, kifejezés fogalma, kifejezések osztályozása]]
# [[PrologElm2|A nyelv végrehajtási mechanizmusa (redukciós lépés, visszalépés)]]
# [[PrologElm3|Az egyesítési algoritmus]]
# [[PrologElm4|Prolog végrehajtási modellek: keresési fa, doboz modell]]
# [[PrologElm5|Diszjunkciók és feltételes szerkezetek, kiváltásuk segédeljárással]]
# [[PrologElm6|Operátorok]]
# [[PrologElm7|Listák jelölése, nyílt és zárt végű listák]]
# [[PrologElm8|Keresés listákban (a select/3 és member/2 eljárások)]]
# [[PrologElm9|Listák összefűzése és szétszedése (az append/3 eljárás többirányú használata)]]
# [[PrologElm10|Listák megfordítása (naiv és hatékony megoldás)]]
# [[PrologElm11|Típusok Prologban]]
# [[PrologElm12|A vágó beépített eljárás definíciója, a vágás alapesetei]]
# [[PrologElm13|A vágó használata: elkötelezés adott klóz mellett, a vágás alapszabálya]]
# [[PrologElm14|A vágó használata: első megoldásra való szűkítés (memberchk/2)]]
# [[PrologElm15|A negáció és megvalósítása vágóval, feltételes kifejezéssel]]
# [[PrologElm16|Vezérlési eljárások]]
# [[PrologElm17|Determinizmus, indexelés és kölcsönhatásuk]]
# [[PrologElm18|A vágó és az indexelés kölcsönhatása]]
# [[PrologElm19|A jobbrekurzió fogalma]]
# [[PrologElm20|Akkumulátorok, listák akkumulálása elölről ill. hátulról]]
# [[PrologElm21|Változó-értékadáson alapuló algoritmusok átírása Prologba]]
# [[PrologElm22|Megoldásgyűjtő beépített eljárások]]
# [[PrologElm23|Struktúrák szétszedése és összerakása: az univ, functor/3 és arg/3 beépített eljárások]]
# [[PrologElm24|Kifejezések szabványos sorrendje, kifejezés-összehasonlító beépített eljárások]]
# [[PrologElm25|Egyenlőségszerű beépített eljárások összehasonlítása]]
# [[PrologElm26|A [[SICStus]] Prolog modulfogalma]]
# [[PrologElm27|Magasabbrendű eljárások]]
# [[PrologElm28|Dinamikus adatbáziskezelő beépített eljárások]]
# [[PrologElm29|DCG nyelvtanok, használatuk elemzésre]]

[[PrologElmMind|Összes tétel egyben (INCLUDE)]]

[[Category:Infoalap]]