miejsce([wincenty,W,dymitr,D,andrzej,A,borys,B,grzegorz,G]) :-
 
  L0 = [1,2,3,4,5],
 
  G = 3,     /* grzegorz zajal trzecie miejsce */
 
  select(W, L0, L1), W \= 1,
             /* wincenty nie zajal pierwszego miejsca */
 
  select(D, L1, L2), D \= 2,
             /* dymitr nie zajal drugiego, ani tego co wincenty */
 
  select(A, L2, L3), A \= 1, A \= 5,
             /* andrzej nie zajal pierwszego ani piatego, 
            ani tego co wincenty lub dymitr*/
 
  select(B, L3, [G]),      
             /* pozostale miejsca zajeli borys i grzegorz */
 
  B is W+1,  /* borys przybiegl zaraz za wincentym */
  G > D.     /* dymitr byl na mecie wczesniej niz grzegorz */

bWllanNjZShbd2luY2VudHksVyxkeW1pdHIsRCxhbmRyemVqLEEsYm9yeXMsQixncnplZ29yeixHXSkgOi0KCiAgTDAgPSBbMSwyLDMsNCw1XSwKCiAgRyA9IDMsICAgICAvKiBncnplZ29yeiB6YWphbCB0cnplY2llIG1pZWpzY2UgKi8KCiAgc2VsZWN0KFcsIEwwLCBMMSksIFcgXD0gMSwKICAgICAgICAgICAgIC8qIHdpbmNlbnR5IG5pZSB6YWphbCBwaWVyd3N6ZWdvIG1pZWpzY2EgKi8KCiAgc2VsZWN0KEQsIEwxLCBMMiksIEQgXD0gMiwKICAgICAgICAgICAgIC8qIGR5bWl0ciBuaWUgemFqYWwgZHJ1Z2llZ28sIGFuaSB0ZWdvIGNvIHdpbmNlbnR5ICovCgogIHNlbGVjdChBLCBMMiwgTDMpLCBBIFw9IDEsIEEgXD0gNSwKICAgICAgICAgICAgIC8qIGFuZHJ6ZWogbmllIHphamFsIHBpZXJ3c3plZ28gYW5pIHBpYXRlZ28sIAogICAgICAgICAgICBhbmkgdGVnbyBjbyB3aW5jZW50eSBsdWIgZHltaXRyKi8KCiAgc2VsZWN0KEIsIEwzLCBbR10pLCAgICAgIAogICAgICAgICAgICAgLyogcG96b3N0YWxlIG1pZWpzY2EgemFqZWxpIGJvcnlzIGkgZ3J6ZWdvcnogKi8KCiAgQiBpcyBXKzEsICAvKiBib3J5cyBwcnp5YmllZ2wgemFyYXogemEgd2luY2VudHltICovCiAgRyA+IEQuICAgICAvKiBkeW1pdHIgYnlsIG5hIG1lY2llIHdjemVzbmllaiBuaXogZ3J6ZWdvcnogKi8=