A Prolog programozási nyelv

Párhuzamosság

A programok párhuzamossága két féle lehet:

furdoszoba(Szin, Mosdo, Kad):- mosdo(Szin, Mosdo), kad(Szin, Kad). szinvalasztek(feher). szinvalasztek(bezs). ... mosdo(feher,...). ... kad(feher,...). ...

A párhuzamosság fajtá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: