| Bevezetés | 9 |
| Az Mprolog-programok alapelvei | 12 |
| Tények | 13 |
| Szabályok | 14 |
| Feladatok | 15 |
| Az Mprolog-programok működése | 16 |
| Illesztés | 17 |
| Visszalépés | 20 |
| A Mprolog adatszerkezetei | 25 |
| Egyszerű objektumok | 25 |
| Változók | 25 |
| Összetett objektumok | 26 |
| Kifejezések | 31 |
| Listák | 33 |
| Példák az eddigiek összegzésére | 39 |
| Ábrarajzoló program | 39 |
| Lakástervező program | 43 |
| A beépített definíciók áttekintése | 49 |
| Számolás Mprolog-ban | 50 |
| Az "is" beépített definíció | 51 |
| Számok | 52 |
| A négyzetgyökvonás algoritmusa Mprolog-ban | 53 |
| Hogyan befolyásolhatjuk az Mprolog végrehajtási mechanizmusát? | 57 |
| A beépített eljárások a visszalépés hatáskörének módosítására | 57 |
| Példa: Miért nem jó az általános végrehajtási mechanizmus? | 57 |
| Még egyszer a végrehajtási fáról | 59 |
| A ! és a / eljárás | 60 |
| A fail és a succeed eljárás | 65 |
| A + és a - eljárás | 66 |
| Példa: óvatosan bánjunk a vezérlésmódosító eljárásokkal! | 67 |
| Az ancestor eljárás | 68 |
| Tagadás Mprolog-ban | 71 |
| Vezérlési szerkezetek általános definiálása | 73 |
| Hatékonyságnövelés a visszalépések korlátozásával | 75 |
| Ciklusszervezés Mprolog-ban | 78 |
| A visszalépéses ciklus alaptípusa: egy feladat összes megoldásának kiírása | 78 |
| Mesterséges visszalépési pontok: repeat-fail ciklus | 82 |
| Elem választása intervallumból | 85 |
| A visszalépéses ciklus és a rekurzió összehasonlítása | 86 |
| Adatkezelő szolgáltatások | 88 |
| Adatok osztályozása: az is_a beépített definíció | 88 |
| Adaton konvertálása | 89 |
| Füzérkezelő eljárások | 90 |
| Mprolog-kifejezések összehasonlítása | 92 |
| A structure beépített definíció | 94 |
| Kapcsolat a felhasználóval: beolvasó/kiíró eljárások | 100 |
| Az Mprolog-rendszer kiíró eljárásai | 100 |
| A write és az nl eljárás | 100 |
| Kifejezések tördelése | 102 |
| Tabulátorpozíciók kezelése | 103 |
| A kiírás formáját befolyásoló rendszerállapotok | 105 |
| Beolvasó eljárások | 105 |
| Teljes sor beolvasása | 105 |
| Mprolog-szimbólumok | 106 |
| Szimbólumonkénti olvasás: a read_token eljárás | 108 |
| A szimbólumfolyam elválasztó jelei | 113 |
| A szimbólumfolyamban való visszalépés letiltása | 114 |
| Mprolog-kifejezések beolvasása | 115 |
| Mikor melyik beolvasási módot érdemes használnunk? | 118 |
| Csatornakezelés | 120 |
| Képernyő- és billentyűzetkezelés | 124 |
| Néhány szó a menü- és ablakkezelésről | 125 |
| Hogyan tanul az Mprolog-program? | 128 |
| Tudásbázis-kezelő egyszerű beépített definíciók | 128 |
| Visszaléptethető tudásbázis-kezelő beépített definíciók | 134 |
| Szabályok felvétele a tudásbázisba | 136 |
| Program és adat egysége Mprolog-ban | 139 |
| Globális változó Mprolog-ban | 140 |
| Kivételkezelés | 143 |
| Kivételes helyzetek | 143 |
| Kivételkezelő beépített definíciók | 145 |
| Barkochba játék | 147 |
| Kivételek előállítása programból | 149 |
| Kilépő kivételek | 151 |
| Betelési hibák | 153 |
| Megszakítási hibák | 154 |
| Nyelvi elemzők Mprolog-ban | 156 |
| Nem kell mindent Mprolog-ban írni (kapcsolat a hagyományos programozási nyelvekhez) | 164 |
| Moduláris programozás Mprolog-ban | 167 |
| A lakástervező program modulokra bontása | 167 |
| A nevek láthatósága | 174 |
| A nevek tulajdonságai | 177 |
| A beépített eljárások és a nevek tulajdonságai | 178 |
| Modulok összeépítése | 180 |
| Ízelítő az Mprolog-grafikából | 182 |
| Kétdimenziós grafika | 182 |
| Koordináta-rendszerek - négyzetrajzolás | 182 |
| Házikó kirajzolása | 185 |
| Visszalépés a grafikában | 187 |
| Színek | 189 |
| Háromdimenziós grafika | 190 |
| Sas-grafika | 190 |
| Szoba kirajzolása | 191 |
| Vetítések | 192 |
| Néhány további lehetőség | 196 |
| Gépfüggőség a grafikában | 196 |
| Rendszerszimuláció Prolog-alapokon | 198 |
| Számítógépes szimuláció és mesterséges intelligencia | 198 |
| Néhány alapfogalom | 200 |
| Folyamatok leírása az Mprolog-ban | 200 |
| A T-prolog diszkrét szimulációs rendszer | 205 |
| A TC-prolog kombinált (folytonos) szimulációs rendszer | 207 |
| Alkalmazási esettanulmányok | 210 |
| A teljes lakástervező program | 210 |
| Akárhány szobás lakás tervezése | 210 |
| A lakástervezés teljes programja | 216 |
| A teljes programszöveg | 221 |
| Menetrend-lekérdező program | 231 |
| A legegyszerűbb modell | 231 |
| Összetettebb modell | 233 |
| A hatékonyság kérdése | 238 |
| A keresés gyorsítása nagy definíciókban | 242 |
| A téli és nyári menetrend cseréje | 244 |
| Az útvonal szemléltetése sas-grafikával | 246 |
| A függelék: A magyar Mprolog-szakszókincs | 249 |
| B függelék: Az Mprolog szintaxisa | 252 |
| C függelék: A beépített definíciók rövid leírása | 260 |
| D függelék: Az Mprolog-rendszer felépítése | 275 |
| Irodalom | |
| Tárgymutató | |
