POLKA

from WordNet (r) 3.0 (2006)

polka
    n 1: music performed for dancing the polka
    2: a Bohemian dance with 3 steps and a hop in fast time
    v 1: dance a polka

from The Collaborative International Dictionary of English v.0.48

Polka \Pol"ka\, n. [Pol. Polka a Polish woman: cf. F. & G.
   polka.]
   1. A dance of Polish origin, but now common everywhere. It is
      performed by two persons in common time.
      [1913 Webster]

   2. (Mus.) A lively Bohemian or Polish dance tune in 2-4
      measure, with the third quaver accented.
      [1913 Webster]

   {Polka jacket}, a kind of knit jacket worn by women.
      [1913 Webster]

from The Free On-line Dictionary of Computing (8 July 2008)

Polka

   <language> 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)

[email protected]