1
write("Hello, World"), nl.

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

1
main :- write('Hello world!'), nl.

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

1
write("Hello, World"), nl.

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

1
2
3
4
5
c(0):-!.
c(X):-
        writef('%t',[X]), n1,
        succ(XN,X),
        c(XN).

1
odd(C,N) :- C is N mod 2.

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

1
write("Hello, World"), nl

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

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

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

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

1
2
Odd_even(X):- mod(X,2), write ('even number'), nl.
Odd_even(X):- write ('odd number'), nl.

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

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

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

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

1
2
3
get0(X), n1,
(even(X), print('even'), n1, fail);
(print( 'blah'), n1, dIL)

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
cube(C,N) :- C is N * N * N.

1
rem(X, 2) is 0.

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

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

1
2
3
4
5
c(0):-!.
c(X):-
        writef('%t',[X]), n1,
        succ(XN,X),
        c(XN).

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

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

1
write("Hello").