prologfaisal

john_is_cold.
it_is_raining.
raining(thursday).
raining(saturday).

eats(fred, oranges).
eats(fred, apples).
eats(fred, chips).

eats(john, apples).
eats(john, icecream).

age(john, 32).
age(agnes, 41).
age(fred, 10).
age(tom, 19).

greaterThan(X, Age) :-
    age(X, Y),
    Y > Age.

healthy(Name) :-
    age(Name, Age),
	Age < 20,
	eats(Name, apples).

parent(john, fred).
parent(mary, fred).
parent(bob, john).

grandparent(Gp, Name) :-
    % get Grandparent of Name
    parent(P, Name),
    parent(Gp, P).

% factorial =>

fac(1,1). % for going down

fac(A, B) :-
    Ax is A-1,
    Ax>0,
    fac(Ax, Bx),
    B is A*Bx.

% Addition

add(1,1).

add(A, B) :-
    Ax is A-1,
    Ax>0,
    add(Ax, Bx),
    B is A+Bx.

% Fibonacci