Source : Webster's Revised Unabridged Dictionary (1913)

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.

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

   {Polka jacket}, a kind of knit jacket worn by women.

Source : WordNet®

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

Source : Free On-Line Dictionary of Computing

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)