BME VIK - Válogatott fejezetek a logikai programozásból szeminárium

3. A tantárgyfelelős személy és tanszék Dr. Recski András,

4. A tantárgy előadója

Név:	Beosztás:	Tanszék, Int.:
Dr. Szeredi Péter	egyetemi docens	Számítástudományi és Információelméleti Tanszék

5. A tantárgy az alábbi témakörök ismeretére épít

A tárgy felvételéhez szükséges, hogy a hallgató a Prolog programozási nyelv alapszintű ismeretével rendelkezzék!

6. Előtanulmányi rend

Ajánlott:

Tematikaütközés miatt a tárgyat csak azok vehetik fel, akik korábban nem hallgatták a következő tárgyakat:

Neptun-kód Cím : nincs ilyen

A Deklaratív Programozás (ill. korábbi nevén a Programozási Paradigmák) tárgy elvégzése után ajánlott.

Ha a hallgató ill. doktorandusz ismeri a Prolog programozási nyelvet, akkor az előző bekezdésben hivatkozott tárgyaktól függetlenül is felveheti a jelen tárgyat.

A Nagyhatékonyságú Logikai Programozás (bmevima9359) c. választható tárggyal együtt, az előtt ill. után is felvehető.

7. A tantárgy célkitűzése

Megismertetni a hallgatókat a témakör újabb eredményeivel, alkalmazásaival.

8. A tantárgy részletes tematikája

Az előadáson – a hallgatók kéréseit is figyelembe véve – a következő tágabb területekről választunk anyagot: A logikai programozás megvalósítása. A logikai programozás elmélete. Haladó programozási eszközök és technikák (korutin-szervezés, változó-attributumok, stb.). Új logikai nyelvek (Mercury, Oz, XSB stb.). A logikai programozás alkalmazásai.

9. A tantárgy oktatásának módja (előadás, gyakorlat, laboratórium)

Szeminárium jellegű előadás , azaz egyes tárgy-részeket a hallgatók dolgoznak fel és adnak elő.

10. Követelmények

a. A szorgalmi időszakban: legalább 8 szemináriumon való részvétel

b. A vizsgaidőszakban: szóbeli vizsga; előadás tartása esetén megajánlott jegy.

c. Elővizsga: az előadóval való megbeszélés alapján lehetséges.

A szorgalmi időszakban nem teljesített követelmények a vizsgaidőszak első három hetében pótolhatók oly módon, hogy a hallgató beszámol a mulasztott szeminárium(ok) anyagából.

13. Jegyzet, tankönyv, felhasználható irodalom

Hassan Ait Kaci: Warrens Abstract Machine: A Tutorial Reconstruction MIT Press, 1991, http://www.vanx.org/archive/wam/wam.html

U. Nilsson and J. Maluszynski: Logic, programming and Prolog 2ed John Wiley & Sons, 1995, http://www.ida.liu.se/Üulfni/lpp/

Richard A. OKeefe, The craft of Prolog, MIT Press, 1990

Mozart/Oz cikkek: http://www.mozart-oz.org/papers/

Mercury cikkek: http://www.cs.mu.oz.au/research/mercury/information/papers.html

XSB Prolog:http://xsb.sourceforge.net/

SICStus Prolog Reference Manual (egyes fejezetek) http://www.sics.se/isl/sicstus/docs/

15. A tantárgy tematikáját kidolgozta

Név:	Beosztás:	Tanszék, Int.:
Dr. Szeredi Péter	egy. docens	Számítástudományi és Információelméleti Tanszék

vima9348.rtf