An object-oriented parallel logic programming language, built on top of Parlog.

["Polka: A Parlog Object-Oriented Language", Andrew Davison, TR, Parlog Group, Imperial College, London 1988].