1
?- write('Hello World!').

1
2
3
4
5
6
oddEven(X, RET) :-
        X > 0,
        V is mod(X,2),
        ANS is V.
 
                

1
even(X) :- mod(X,2) is 0.

1
2
even(0).
even(X) :- rem(X,2) is 0.

1
2
3
4
5
6
oddEven(X, RET) :-
        X > 0,
        V is mod(X,2),
        ANS is V.
 
                

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
even(0).
even(X) :- mod(X,2) is 0.

1
2
3
4
?- consult(hello_world).
% hello compiled 0.00 sec, 612 bytes
 
Yes

1
2
abc(X).
a= abc(X)

1
2
3
 
 even(4) :- N mod 2 =:= 0, write('EVEN').
 

1
odd(x):- x is 5.

1
2
even(0).
even(s(s(X))) :- even(X).

1
odd(X):- mod(X, 2) is 0.

1
2
even(0).
even(X) :- mod(X,2) is 0.

1
2
even(0).
even(X) :- mod(X,2) is 0.

1
2
3
4
5
6
7
oddEven(X) :-
        X > 0,
        V is mod(X,2),
        write('odd') := V =:= 1,
        write('even') := V =:= 0.
 
                

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
 
 even(N) :- N mod 2 =:= 0, write('EVEN').
 

1
odd(X):- mod(X, 2) is 0

1
odd(x):- x is 5

1
odd(X):- mod(x, 2) is 0

1
2
3
4
5
6
even(N):-
        A is mod(N,2),
        A = 0.
odd(N):-
        A is mod(N,2),
        A = 1.

1
2
even(0).
even(s(s(X))) :- even(X).

1
2
num(X) :-
mod(X, 2) is 0

1
2
3
4
even(0).
even(s(s(X))):-even(X).
odd(s(0)).
odd(s(s(X))):-odd(X).

1
even(X) :- mod(X,2) is 0.

1
2
3
 
 even(N) :- N mod 2 =:= 0, write('EVEN')
 

1
2
3
4
5
even(0).
even(s(s(X))):-even(X).
odd(s(0)).
odd(s(s(X))):-odd(X).
halt.

1
2
even(0).
even(s(s(X))) :- even(X).

1
hello_world :- write('Hello World!').