Examples/fib.chr

   1 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
   2 %%
   3 %% 991202 Slim Abdennadher, LMU
   4 %%
   5 %% ported to hProlog by Tom Schrijvers
   6
   7 :- module(fib,[]).
   8
   9 :- use_module(library(chr)).
  10
  11 :- constraints fib/2.
  12
  13 %% fib(N,M) is true if  M is the Nth Fibonacci number.
  14
  15 %% Top-down Evaluation with Tabulation
  16
  17 fib(N,M1), fib(N,M2) <=> M1 = M2, fib(N,M1).
  18
  19 fib(0,M) ==> M = 1.
  20
  21 fib(1,M) ==> M = 1.
  22
  23 fib(N,M) ==> N > 1 | N1 is N-1, fib(N1,M1), N2 is N-2, fib(N2,M2), M is M1 + M2.
  24