fork download
  1. znak(kun).
  2. znak(zelva).
  3. znak(pes).
  4. obarvi :- znak(C1), znak(C2), znak(C3), znak(C4), C1 \= C2, C1 \= C3, C1 \= C4, C2 \= C4, C3 \= C4, C2 == kun, C3 == kun,
  5. write(C1 : C2 : C3 : C4),fail.
Success #stdin #stdout 0.02s 6204KB
stdin
obarvi.
stdout
zelva:kun:kun:pespes:kun:kun:zelva