English Dictionary
polka
n 1: music performed for dancing the polka
2: a Bohemian dance with 3 steps and a hop in fast time
English Computing Dictionary
Polka
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].
(1995-01-31)