„Deklaratív programozás - Logikai programozás” változatai közötti eltérés
Ú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…” |
Balo (vitalap | szerkesztései) Nincs szerkesztési összefoglaló |
||
| 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 | # [[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]] | ||