Kiegészítés a count/2-höz
=========================

A count/2 predikátummal szemben elvárás:

a. ne csináljon választási pontot (lásd a 4. futási példát a fólián).
b. count(L, N)-ben, ha az L lista N db eleméről kiderül, hogy 1-es, akkor nem
   vár további változó-behelyettesítésre és a fennmaradó változókat
   behelyettesíti 0-ra.
   Pl. a `count([X,Y,Z], 1), Z=1' célsorozat az `X=0, Y=0, Z=1' eredményt adja.
c. count(L, N)-ben, ha az L lista len(L)-N db  eleméről kiderül, hogy 0, akkor nem
   vár további változó-behelyettesítésre és a fennmaradó változókat
   behelyettesíti 1-re.
   Pl. a `count([X,Y,Z], 2), Z=0' célsorozat az `X=1, Y=1, Z=0' eredményt adja.