fork download
  1. ciag(N) :-
  2. ( N = 0
  3. -> X = 0
  4. ;
  5. ( N = 1
  6. -> X = 2
  7. ; X is ciag(n-1) + 2*ciag(n-2)
  8. ).
  9.  
Success #stdin #stdout 0.03s 6204KB
stdin
ciag(0).
stdout
Standard output is empty