Parlog

Parlog är ett logiskt programmeringsspråk designat för effektivt utnyttjande av parallella datorarkitekturer . Dess semantik är baserad på första ordningens predikatlogik . Det uttrycker samtidighet , kommunikation mellan processer , obestämdhet och synkronisering inom den deklarativa språkramen .

Den designades vid Imperial College , London av Steve Gregory och Keith L. Clark, som en ättling till IC Prolog and Relational Language.

Vidare läsning