1
2
Odd_even(X). :-
mod(X,2) @>= 1.

1
2
Odd_even(X). :-
mod(X,2) @>= 1.

1
2
Odd_even(X). :-
mod(X,2) @>= 1.

1
2
Odd_even(X). :-
mod(X,2) @>= 1.

1
odd(N) :- N mod 2 = 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
2
even(0).
even(s(s(X))) :- even(X).

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

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

1
even(s(s(x))) :- even(X).

1
2
Odd_even(X). :-
mod(X,2) @>= 1.

1
2
odd(Y):- Y is Y mod 2.
comp(X):- odd(X).

1
2
3
4
5
c(0):-!.
c(X):-
        write(X), n1,
        XN is X-1,
        c(XN).

1
2
3
4
5
c(0):-!.
c(X):-
        write(X), n1,
        XN is X-1,
        c(XN).

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

1
2
3
read(X)
even(X) :- print( 'even'), n1, fail)
odd(X) :- print( 'odd'), n1, fail)

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

1
2
Odd_even(X) :-
mod(X,2) @>= 1.

1
odd(X) :- rem(X,2) is 1.

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

1
2
3
4
5
c(0):-!.
c(X):-
        write(X), n1,
        XN is X-1,
        c(XN).

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

1
2
comp(A,B) :- A = B.
odd(N) :- comp(N mod 2, 1).

1
2
comp(A,B) :- A = B.
odd(N) :- comp(N mod 2, 1).

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

1
even(s(s(x))) :- even(X).

1
2
Odd_even(X).
mod(X,2) @>= 1.

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

1
?- write('hi').

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