A programok párhuzamossága két féle lehet:
- Explicit párhuzamosság (a programozó vezérlésével):
- Implicit párhuzamosság (a programozó "háta mögötti párhuzamosság") ugyan azt a programot futtatjuk multiprocesszoron, mint monoprocesszoron, csak a program gyorsabban fut
| Pargol | (Clark, Gregory, Imperial College, Angli) |
| Concurrent Prolog | (Shapiro, Weizmann Inst, Izrael) |
| FGHC | (Ueda, ICOT, Japán) |
| CS-Prolog | (Futó Iván, ML, Magyarország) |
| Aurora | (Warren-Lusk-Haridi, Gigalips projekt) |
| Muse | (Ali, SICS, Svédország) |
| Andorra-I | (Warrren, Bristol, Anglia) |
| &-Prolog | (Hermenegildo, UPM, Madrid) |
A párhuzamosság fajtái:
-
vagy-párhuzamosság (or-parallelism):
?-szinvalasztek(Szin), furdoszoba(Szin, Mosdo, Kad).
A különböző Szin-behelyettesítésekhez tartozó kereséseket külön processzorok végez(het)ik.
-
és-párhuzamosság (and-paralellism):
Ez lehet független (independent and-parallelism):
?-furdoszoba(feher, Mosdo, Kad).Az ebből keletkező: mosdo(feher, Mosdo) és kad(feher, Kad) hívások egymástól függetlenül párhuzamosan futhatnak, az egyik minden megoldását a másik mindegyikével párosítani kell.
Függő párhuzamosság (dependent and-parallelism):
?-furdoszoban(Szin, Mosdo, Kad).Az alapvető nehézséget a párhuzamos és-futások közben létrejött választási pontok jelentik. A 80-as évek elején/közepén született committed choice nyelvek ezt a problémát a don't care nemdeterminizmus segítségével oldották meg, lényegében a visszalépés kiküszöbölésével, pl. a
mosdo(Szin, M), kad(Szin, K)hívásban, mind a mosdo, mind a kad eljárás csak úgy helyettesítheti be a Szin-t, ha "elkötelezi" magát a behelyettesítés mellett. Újabb megvalósításokban nem zárják ki a nemdeterminizmust, lsd pl. Andorra-I.
Az Andorra-I rendszer
Vagy- és (függő)és-párhuzamos rendszer a teljes Prolog támogatásával, részben az Aurorá-ra épül. Egy bonyolult, fordításidejű programanalizátort tartalmaz, annak felderítésére, hogy mely eljárások milyen paraméterezés mellett lesznek determinisztikusak.
A Prologtól némileg eltérő végrehajtási mechanizmusa van, ún. Basic Andorra Model:
Adott egy g1, ... gn célsorozat:
- Kiválasztjuk azokat a gi célokat, amelyek legfeljebb egy klózzal illeszthetők (determinisztikus vagy meghiúsuló hívások)
- Redukáljuk a kiválasztott gi célokat (azaz helyettesítjük őket a megfelelő klóztörzzsel).Ezek a redukciós lépések párhuzamosan (egyidejűleg) végezhetők.
- Amíg az 1. lépésben ki tudunk választani részcélokat, ismételjük az 1. és 2. lépéseket. A végrehajtás ezen részét determinisztikus szakasznak hívjuk.
- Ha nincsenek determinisztikus vagy meghiusuló részcélok, akkor válasszuk ki a baloldali részcélt, illesszük a lehetséges klózokkal, és mindegyik választásra végezzük el a megfelelő redukciós lépést. Ezek az alternatív redukciók párhuzamosan végezhetők. Ez a végrehajtási fázis az ún. nemdeterminisztikus szakasz. Ezután folytassuk az 1. pontnál az összes alternatív célsorozatra párhuzamosan.