%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

% Hands-on training on generating RFML markup . 
% January 9 , 2001

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%


% By Joseph Tadjuidje Kamgaing, Brice Kamga under the supervision of 
% Harold Boley

%%%%%%%%%%%%%%%%%%%%%%%%% Knowledge Markup Techniques %%%%%%%%%%%%%%%%
script automarkhandon
date()
az double(X) :& *(X,2).
pause()
listing
pause()
sx
listing
sp
pause()
double(3)
sx
double(3)
sp
pause()
az square(X) :& *(X,X).
pause()
l square
pause()
square(3)
pause()
az cube(X) :& *(X , square(X)).
l cube
pause()
cube(3)
spy
ori
nospy
pause()
%this computes the factorial of N
az fact(0) :& 1.
az fact(N) :& *(N, fact(-(N, 1))).
pause()
fact(5)
pause()
%sum computes the sum of the N first integer.
az sum(0) :& 0.
az sum(N) :& +(N, sum(-(N,1))).
pause()
sp
l sum
sx
sum(5)
sp
pause()
az compose[F, G ](X) :& F(G(X)).
pause()
sx
listing compose[F, G ](X) :& F(G(X)).
sp
pause()
compose[double, sum](4)
pause()
%fibo computes the nth term of the fibonacci sequence .
az fibo(0) :& 1 .
az fibo(1) :& 1 .
az fibo(N) :& +(fibo(-(N,1)), fibo(-(N,2))).
pause()
sx
l fibo
sp
pause()
fibo(5)
endscript