Parlog

Parlog to język programowania logicznego zaprojektowany z myślą o efektywnym wykorzystaniu równoległych architektur komputerów. Jego semantyka opiera się na logice predykatów pierwszego rzędu . Wyraża współbieżność , komunikację międzyprocesową , nieokreśloność i synchronizację w ramach deklaratywnego języka .

Został zaprojektowany w Imperial College w Londynie przez Steve'a Gregory'ego i Keitha L. Clarka, jako potomek IC Prolog i Relational Language.

Dalsza lektura