fork download 
  1. barva(cervena).
  2. barva(modra).
  3. barva(zelena).
  4. barva(zluta).
  5. obarvi :- barva(CR), barva(Slo), barva(Rak), znak(Pol), CR \= Pol, CR \= Rak, CR \= Slo, Slo \= Rak,
  6. write(CR : Slo : Rak : Pol),fail.
Success #stdin #stdout 0.03s 6204KB
comments (?)
stdin 
obarvi.
stdout 
Standard output is empty
https://ideone.com/6i7Kr
language:
Prolog (swi 7.6.4)
created:
14 years ago
visibility:
public

Share or Embed source code

Discover > Sphere Engine API

The brand new service which powers Ideone!

Discover > IDE Widget

Widget for compiling and running the source code in a web browser!