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].