Logikai és funkcionális programozás (Szeredi Péter, Hanák Péter, 2005)

A01. A Prolog vezérlési szerkezete
   
 A02. A Prolog adatszerkezetei, egyesítési algoritmus
   
 A03. Listakezel\x{00F5} eljárások Prologban
   
 A04. A Prolog operátor-fogalma és alkalmazásai
   
 A05. Vezérlési eljárások Prologban, a vágó eljárás
   
 A06. Meta-eljárások Prologban: adatbázis-kezelés, kifejezés-kezelés
   
 A07. Nyelvtani elemzés Prologban (DCG nyelvtanok)

 A08. A funkcionális programozás jellemz\x{00F5}i, kifejezések kiértékelése az
      SML-ben (ld. 2001. évi jegyzet 1.3.-1.6., 2.1., 2.2.4.1.-2.2.4.2.
      és 9.1. szakasza, továbbá 4. és 5. fejezete)
 
 A09. Típusok, típusoperátorok és típusváltozók, típuslevezetés, type és
      datatype deklaráció az SML-ben (ld. 2001. évi jegyzet 2.2. és 6.1
      szakasza, továbbá 8. fejezete)

 A10. Párok, ennesek, rekordok, listák, fák az SML-ben (ld. 2001. évi
      jegyzet 3., 6., 12. és 13. fejezete)
 
 A11. Minták, mintaillesztés az SML-ben (ld. 2001. évi jegyzet
      2.2. szakasza, továbbá 3. és 8. fejezete)
 
 A12. Magasabbrend\x{00FB} és részlegesen alkalmazható függvények az SML-ben
      (ld. 2001. évi 9. és 10. fejezet)
 
 A13. Polimorfizmus (többszörös terhelés, paraméteres polimorfizmus) és
      kivételkezelés az SML-ben (ld. 2001. évi jegyzet 2.2., 6.2. és
      8.3. szakasza, továbbá 7. és 11. fejezete)

 A14. Lusta listák megvalósítása az SML-ben (ld. 2001. évi jegyzet
      15.1.-15.3. szakasza)

B01. A Prolog 4 kapus nyomkövetési modellje

 B02. Jobbrekurzió, akkumulátorok Prologban

 B03. Determinizmus és indexelés Prologban

 B04. Egyenl\x{00F5}ségvizsgáló beépített eljárások Prologban

 B05. Listák megfordítása Prologban: naív és hatékony megoldás

 B06. Gráfok ábrázolása Prologban

 B07. Összes megoldás keresése Prologban

 B08. Könyvtári függvények az SML-ben: String.tokens, String.fields, @, 
      List.rev, List.map, List.filter, List.foldl, List.foldr, List.partition
 
 B09. Listák rendezése SML-ben: beszúró rendezés, gyorsrendezés,
      összefésül\x{00F5} rendezés, simarendezés
 
 B10. Bináris fák megvalósítása SML-ben: elem keresése, beszúrása, törlése;
      listából bináris fa, bináris fából lista el\x{00F5}állítása; bináris fa
      mélysége, leveleinek és éleinek száma, leghosszabb út meghatározása
      stb.
 
 B11. Iteratív függvények SML-ben: jobbrekurzió, gy\x{00FB}jt\x{00F5}argumentum.
 
 B12. Halmazm\x{00FB}veletek megvalósítása SML-ben: eleme, unió, metszet, 
      különbség, hatványhalmaz, listából halmaz el\x{00F5}állítása stb.
 
 B13. Kivételkezelés az SML-ben: exception, raise, handle, az exn
      típus.
 
 B14. Lokális és egyidej\x{00FB} deklarációk az SML-ben: let, local, and; 
      láthatóság és hatáskör.