fork download
  1. a(1).
  2. a(2).
  3. a(3).
  4. a(4).
  5. b(15).
  6. b(16).
  7. b(17).
  8. c(28).
  9. c(29).
  10. :-a(X),b(Y),c(Z),write([X,Y,Z]),nl,fail.
  11.  
Success #stdin #stdout #stderr 0.02s 6160KB
stdin
Standard input is empty
stdout
[1, 15, 28]
[1, 15, 29]
[1, 16, 28]
[1, 16, 29]
[1, 17, 28]
[1, 17, 29]
[2, 15, 28]
[2, 15, 29]
[2, 16, 28]
[2, 16, 29]
[2, 17, 28]
[2, 17, 29]
[3, 15, 28]
[3, 15, 29]
[3, 16, 28]
[3, 16, 29]
[3, 17, 28]
[3, 17, 29]
[4, 15, 28]
[4, 15, 29]
[4, 16, 28]
[4, 16, 29]
[4, 17, 28]
[4, 17, 29]
stderr
Warning: /home/FyWRGy/prog.pl:10:
	Goal (directive) failed: user: (a(_G356), b(_G358), c(_G360), write([_G356, _G358, _G360]), nl, fail)