1
2
3
4
program :- get_char(X),get_char(Y),check(X,Y). 
check('4','2'):-!. 
check(X,Y):-write(X),get_char(Z),check(Y,Z).
:- program.

1
2
countdown(0) :- write(0), !.
countdown(N) :- write(N), nl, M is N - 1, countdown(M).

1
2
3
cube :- read(X), calc(X).
calc(stop) :- write(done).
calc(X) :- C is X * X * X, write(C), cube.

1
2
3
cube :- read(X), calc(X).
calc(stop) :- write(done).
calc(X) :- C is X * X * X, write(C), cube.

1
2
3
cube :- read(X), calc(X).
calc(stop) :- write(done).
calc(X) :- C is X * X * X, write(C), cube.

1
2
3
countdown(0) :- write(0).
 
countdown(N) :- write(N), N1 is N-1, nl, countdown(N1).

1
2
3
countdown(0) :- write(0).
 
countdown(N) :- write(N), N1 is N-1, countdown(N1).

1
2
3
countdown(0) :- write(0).
 
countdown(N) :- write(N), N is N-1, countdown(N).

1
2
3
4
5
6
7
countdown(0,1).
 
countdown(N,F) :-  
   N>0, 
   N1 is N-1, 
   countdown(N1,F1), 
   F is F1.

1
2
3
4
5
6
7
factorial(0,1).
 
factorial(N,F) :-  
   N>0, 
   N1 is N-1, 
   factorial(N1,F1), 
   F is N * F1.

1
2
3
4
5
6
7
factorial(0,1).
 
factorial(N,F) :-  
   N>0, 
   N1 is N-1, 
   factorial(N1,F1), 
   F is N * F1.

1
2
3
4
5
6
7
factorial(0,1).
 
factorial(N,F) :-  
   N>0, 
   N1 is N-1, 
   factorial(N1,F1), 
   F is N * F1.

1
2
3
4
5
6
7
factorial(0,1).
 
factorial(N,F) :-  
   N>0, 
   N1 is N-1, 
   factorial(N1,F1), 
   F is N * F1.

1
2
3
4
5
6
7
factorial(0,1). 
 
factorial(N,F) :-  
   N>0, 
   N1 is N-1, 
   factorial(N1,F1), 
   F is N * F1.

1
2
3
4
5
6
7
8
factorial(0,1). 
 
factorial(N,F) :-  
   N>0, 
   N1 is N-1, 
   factorial(N1,F1), 
   F is N * F1.
 

1
2
3
4
5
6
7
factorial(0,1). 
 
factorial(N,F) :-  
   N>0, 
   N1 is N-1, 
   factorial(N1,F1), 
   F is N * F1.

1
2
3
4
5
6
7
8
9
% Given an input number:
 
factorial(0,1). 
 
factorial(N,F) :-  
   N>0, 
   N1 is N-1, 
   factorial(N1,F1), 
   F is N * F1.
 ...

1
2
3
4
5
6
7
8
9
% Given an input number:
 
factorial(0,1). 
 
factorial(N,F) :-  
   N>0, 
   N1 is N-1, 
   factorial(N1,F1), 
   F is N * F1.
 ...

1
2
3
4
5
6
7
8
9
% Given an input number:
 
factorial(0,1). 
 
factorial(N,F) :-  
   N>0, 
   N1 is N-1, 
   factorial(N1,F1), 
   F is N * F1.
 ...

1
2
3
4
5
6
7
8
9
% Given an input number:
 
factorial(0,1). 
 
factorial(N,F) :-  
   N>0, 
   N1 is N-1, 
   factorial(N1,F1), 
   F is N * F1.
 ...

1
2
3
4
5
6
7
8
9
% Given an input number:
 
factorial(0,1). 
 
factorial(N,F) :-  
   N>0, 
   N1 is N-1, 
   factorial(N1,F1), 
   F is N * F1.
 ...

1
2
3
4
5
6
7
8
9
% Given an input number:
 
factorial(0,1). 
 
factorial(N,F) :-  
   N>0, 
   N1 is N-1, 
   factorial(N1,F1), 
   F is N * F1.
 ...

1
2
3
4
5
6
7
8
9
% Given an input number:
 
factorial(0,1). 
 
factorial(N,F) :-  
   N>0, 
   N1 is N-1, 
   factorial(N1,F1), 
   F is N * F1.
 ...

1
2
3
4
program :- get_char(X),get_char(Y),check(X,Y). 
check('4','2'):-!. 
check(X,Y):-write(X),get_char(Z),check(Y,Z).
:- program.

1
2
3
4
5
6
7
8
9
% Given an input number:
 
factorial(0,1). 
 
factorial(N,F) :-  
   N>0, 
   N1 is N-1, 
   factorial(N1,F1), 
   F is N * F1.
 ...

1
2
3
4
5
6
7
8
9
% Given an input number:
 
factorial(0,1). 
 
factorial(N,F) :-  
   ?- write(25),nl.
   N>0, 
   N1 is N-1, 
   factorial(N1,F1), 
 ...

1
2
3
4
5
6
7
8
9
% Given an input number:
 
factorial(0,1). 
 
factorial(N,F) :-  
   ?- write(25),nl.
   N>0, 
   N1 is N-1, 
   factorial(N1,F1), 
 ...

1
2
3
4
5
6
7
8
9
% Given an input number:
 
factorial(0,1). 
 
factorial(N,F) :-  
   ?- write(25),nl.
   N>0, 
   N1 is N-1, 
   factorial(N1,F1), 
 ...

1
2
3
4
5
6
7
8
9
% Given an input number:
 
factorial(0,1). 
 
factorial(N,F) :-  
   ?- write(25),nl.
   N>0, 
   N1 is N-1, 
   factorial(N1,F1), 
 ...

1
2
3
4
5
6
7
8
9
% Given an input number:
 
factorial(0,1). 
 
factorial(N,F) :-  
   ?- write(25),nl.
   N>0, 
   N1 is N-1, 
   ?- write(25),nl.
 ...