An object-oriented, parallel logic programming language, built on top of Parlog.
["Polka: A Parlog Object-Oriented Language", Andrew Davison <ad@mullauna.cs.mu.oz.au>, TR, Parlog Group, Imperial College, London 1988].
(31 Jan 1995)