fib(0,0).
fib(1,1).
fib(X,Y):-X1 is X-1,X2 is X-2,fib(X1,Y1),fib(X2,Y2),Y = Y1+Y2.
就是 斐波那契数列,0112358......
前一个参数是代表数列里第几个,后一个参数是这个数是多少.
像fib(2,1)可以返回true, 但fib(2,2)这类不在数列里的会返回溢出,有什么办法让他返回false么?

plus(X,[],X).
plus(X,[[]|Y],[[]|Z]):-plus(X,Y,Z).
fibc([],[]).
fibc([[]],[[]]).
fibc([[],[]|X],Y):-fibc([[]|X],Y1),fibc(X,Y2),plus(Y1,Y2,Y).