Válogatott fejezetek a logikai programozásból 2003.




Ez az oldal azzal a céllal készült, hogy összefogja a Válogatott fejezetek a logikai programozásból c. tárgy 2003. őszi félévében elhangzottakat, valamint segítséget nyújtson a témákban való mélyebb elmélyüléshez.

Az oldal minél tartalmasabbá tételéhez szeretnék megkérni minden előadót, hogy a quad_at_cs.bme.hu címre küldjék el:

  • a fóliák elérhetőségeit (lehetőleg forrásban is),
  • a felhasznált kódok elérhetőségeit,
  • valamint egyéb a témához kapcsolódó linkeket.
    • Kérek mindenkit, hogy a fenti e-mail címre mindenki csak hivatkozásokat (linkeket) küldjön, és ne magukat az állományokat.

    Természetesen minden egyéb tartalmi javaslatot is szívesen fogadok az előadóktól. (Különösen akkor, ha rögtön html kódban küldik, hogy mit szeretnének látni a saját címszavuk alatt.)

    Eddig az alábbi témákról kaptam anyagot:

  • RDBG
  • LAKAT
  • A párhuzamos logikai programozásról általában
  • A Parlog ÉS-párhuzamos nyelvről
  • Objektum orientált Prolog
  • A Ciao Prologról
  • A logikai programozás matematikai hátteréről
  • A PiLLoW könyvtárról
  • A TCL/TK és a Prolog
  • Logtalk
  • XPCE
  • AMZI
  • Maude


    • RDBG

    Az előadás fóliái:
  • A fóliák forrásban és dvi formátumban (tömörítve)
    • Kódok:
  • Futtatható rdbg rendszer
    • Linkek:
  • Tamás hivatalos rdbg oldala


    • LAKAT

    Az előadás fóliái:
  • A fóliák pdf formátumban
    • Kódok:
  • A LAKAT 0.02 verziója
    • Linkek:
  • A fóliák származási helye
  • A LAKAT legújabb verziója letölthető formában


    • A párhuzamos logikai programozásról általában

    Az előadás fóliái:
  • A fóliák pdf formátumban
  • A fóliák ppt formátumban
    • Kódok:
  • A fóliákon használt kódok (ugyanaz, mint eggyel lentebb)


    • A Parlog ÉS-párhuzamos nyelvről

    Az előadás fóliái:
  • A fóliák pdf formátumban
  • A fóliák ppt formátumban
    • Kódok:
  • A fóliákon használt kódok (ugyanaz, mint eggyel fentebb)
    • Linkek:
  • Parlog interpreter Windows alá (freeware)


    • Objektum orientált Prolog

    Az előadás fóliái:
  • A fóliák ppt formátumban
    • Linkek:
  • A fóliák származási helye


    • A Ciao Prologról

    Az előadás fóliái:
  • A fóliák ppt formátumban


    • A logikai programozás matematikai hátteréről

    Az előadás fóliái:
  • A fóliák ppt formátumban
    • Linkek:
  • A fóliák származási helye


    • A PiLLoW könyvtárról

    Az előadás fóliái:
  • A fóliák pdf formátumban
    • Kódok:
  • PiLLoW példaprogramok
    • Linkek:
  • A fóliák és kódok származási helye


    • A TCL/TK és a Prolog

    Az előadás fóliái:
  • A fóliák pdf formátumban
    • Kódok:
  • TCL/TK scriptek


    • Logtalk

    Az előadás fóliái:
  • A fóliák pdf formátumban
    • Linekek:
  • A fóliák származási helye


    • XPCE

    Az előadás fóliái:
  • A fóliák pdf-ben
  • A fóliák ppt forrásban
    • Linekek:
  • A fóliák származási helye


    • AMZI

    Az előadás fóliái:
  • A fóliák ppt forrásban
    • Linekek:
  • Az AMZI hivatalos honlapja
  • A fóliák a szerzőtől zippelve


    • Maude

    Az előadás fóliái:
  • Az előadás fóliái