1
2
countdown(X,Y) :- X is Y.
write(X).

1
2
countdown(X,Y) :- X is Y.
write(X).

1
write("Hello").

1
2
3
4
5
6
 
 even(N) :- (N mod 2 =:= 0
 ->write('EVEN');
 write('ODD')
 ).
 

1
2
3
4
5
6
7
8
9
countdown(X) :-
        number(X),
        X < 0.
countdown(X) :-
        number(X),
        X>=0,
        write(X), nl,
        NX is X-1,
        countdown(NX).

1
2
Odd_even(X):-X mod 2= 0, write (“even number”), NL.
Odd_even(X):- write (“odd number”), nl.

1
2
countdown(X,Y) :- X is Y.
write(X).

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

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

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

1
even(X) :- X mod 2 == 0.

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

1
cube(C,N) :- C is N * N * N.

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

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

1
write("Hello").

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

1
write('Hello').

1
2
3
read(X).
 
even(X).

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

1
2
3
4
5
6
 
 even(N) :- (N mod 2 =:= 0
 ->write('EVEN');
 write('ODD')
 ).
 

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

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
hello_world :- write('Hello World!').

1
2
is_odd(X) :- mod(X,2)=1.
is_even(X) :- mod(X,2)=0.

1
2
is_odd(X) :- mod(X,2)=1.
is_even(X) :- mod(X,2)=0.

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

1
2
3
num(X).
odd(X) :- mod(X,2).
?- odd(X)

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

1
2
3
num(X).
odd(X) :- mod(X,2).
? - odd(X)