• Kezdő oldal
• Bevezetés
• Nyelvi elemek
  • Termek
  • Egy program szerkezete
  • Operátorok
  • Az operátorok felhasználása
  • Példa
  • Operátoros változat
• Típusok, típuskonstrukciók
  • Lista
  • Valódi, ill. részleges listák
  • Rekord
  • Típusleírások
  • Paraméteres típusok
  • Predikátumtípus-deklarációk
• Utasítások, vezérlési szerkezetek
  • Utasítások
  • Egyszerű állítások
  • Lekérdezések
  • Általánosítás
  • Levezetési szabályok
  • Végrehajtási mechanizmus
  • A vágó utasítás
  • Egyesítési algoritmus
  • Vezérlőszerkezetek, vezérlésmódosítás
  • Vezérlőszerkezetek
  • Vezérlésmódosítás
• Alprogramok, modulok
  • Név-alapú modell
  • Eljárás-alapú modell
  • Modul-környezet nyilvántartás
  • Meta-argumentumok nyilvántartása
• Absztrakt adattípusok
• Sablonok
• Kivételkezelés
  • Példa
• Objektum-orientált programozás
  • A Prolog egy OO kiterjesztése: a Prolog++
  • Bevezető gondolatok a Prolog++ programozási nyelvről
  • Általános tapasztalatok
  • A Prolog++ programozási nyelv története, szerzői, futtatási környezet
  • Nyelvi elemek, szintaxis
  • Osztály hierarchiák és öröklődés
  • Objektumok
  • Prolog++ és C++
• Helyesség
• Párhuzamosság
• Szabványos könyvtárak
  • Kiirás, beolvasás
  • Kifejezések kiírása
  • Kifejezések beolvasása
  • Karakterkonverzió
  • File I/O műveletek
  • PLN5 - függvények a Prologban
  • DCG - fordítóprogramok
• Fordítók
• További információk
  • Nyelvi specifikáció
  • Linkek
• Készítők

A Prolog programozási nyelv

Helyesség

Powered by PHP and XML
Valid XHTML and CSS
Copgyright © 2010 - ELTE IK, Programozási Nyelvek és Fordítóprogramok Tanszék