xPasos - TODO POR PASOS

my_sub_list(Xs, Ys):-
          my_append(_, Bs, Ys),
          my_append(Xs, _, Bs).

?- my_sub_list([b,c], [a,b,c,d,e,f,g]).

yes

?- my_sub_list([b,c,f], [a,b,c,d,e,f,g]).

no

?- my_sub_list(Ls, [c,d,e]).

Ls = [] ;
Ls = [c] ;
Ls = [c,d] ;
Ls = [c,d,e] ;
Ls = [] ;
Ls = [d] ;
Ls = [d,e] ;
Ls = [] ;
Ls = [e] ;
Ls = [] ;

my_list_max(M, [X|Xs]):-
          my_list_max2(M, X, Xs).

my_list_max2(M, M, []):- !.

mylist_max2(X, Y, [Z|Zs]):-
          Z >= Y,
          !,
          my_list_max2(X, Z, Zs).

my_list_max2(X, Y, [Z|Zs]):-
          Z =< Y,
          my_list_max2(X, Y, Zs).

?- my_list_max(M, [5,3,9,2,8,7]).

M = 9

my_list_min(M, [X|Xs]):-
         my_list_min2(M, X, Xs).

my_list_min2(M, M, []):- !.

my_list_min2(X, Y, [Z|Zs]):-
          Z =< Y,
          !,
          my_list_min2(X, Z, Zs).

my_list_min2(X, Y, [Z|Zs]):-
          Z >= Y,
          my_list_min2(X, Y, Zs).

?- my_list_min(M, [5,3,9,2,8,7]).

M = 2

my_palindrome(Xs):-
          my_reverse(Xs, Xs).

?- my_palindrome([a,b,c,d,e,d,c,b,a]).

yes

?- my_palindrome([a,b,c,d,e]).

no

my_reverse([X|Xs], Ys, Zs):-
          my_reverse(Xs, [X|Ys], Zs).

my_reverse([], Ys, Ys).

?- my_reverse([1,2,3,4,5], [], Ls).

Ls = [5,4,3,2,1]

my_reverse([], []).

my_reverse([X|Xs], Ys):-
          my_reverse(Xs, Zs),
          my_append(Zs, [X], Ys).

?- my_reverse([1,2,3,4,5], Ls).

Ls = [5,4,3,2,1]

my_consecutive(X,Y,[X,Y|_]).

my_consecutive(X,Y,[_|Xs]):-
          my_consecutive(X,Y,Xs).

?- my_consecutive(e,g,[d,f,e,g,h,e,r,u]).

yes

?- my_consecutive(g, e, [d,f,e,g,h,e,r,u]).

no

my_remove_element_n(_, _, [], []).

my_remove_element_n(N, N, [_|Xs], Zs):-
          I2 is N + 1,
          my_remove_element_n(N, I2, Xs, Zs), !.

my_remove_element_n(N, I, [Y|Xs], [Y|Zs]):-
          I2 is I + 1,
          my_remove_element_n(N, I2, Xs, Zs).

?- my_remove_element_n(5, 1, [a,b,c,d,e,f,g,h], Zs).

Zs = [a,b,c,d,f,g,h]

my_remove_element_n(1, [_|Xs], Xs).

my_remove_element_n(I, [X|Xs], [X|Ys]):-
          I2 is I - 1,
          my_remove_element_n(I2, Xs, Ys).

?- my_remove_element_n(5, [a,b,c,d,e,f,g,h], Zs).

Zs = [a,b,c,d,f,g,h]

my_compress([], []):- !.

my_compress([X|Xs], Ys):-
          my_member(X, Xs),
          !,
          my_compress(Xs, Ys).

my_compress([X|Xs], [X|Ys]):-
          my_compress(Xs, Ys).

?- my_compress([a,a,e,e,e,c,c,b,b,b,b,d,f], Ls).

Ls = [a,e,c,b,d,f]

?- my_compress([e,e,e,a,a,e,e,e,c,c,b,b,b,b,d,f], Ls).

Ls = [a,e,c,b,d,f]

my_compress([], []).

my_compress([X], [X]).

my_compress([X, X|Xs], Zs):-
          my_compress([X|Xs], Zs).

my_compress([X, Y|Ys], [X|Zs]):-
          X \= Y,
          my_compress([Y|Ys], Zs).

?- my_compress([a,a,e,e,e,c,c,b,b,b,b,d,f], Ls).

Ls = [a,e,c,b,d,f]

?- my_compress([e,e,e,a,a,e,e,e,c,c,b,b,b,b,d,f], Ls).

Ls = [e,a,e,c,b,d,f]

my_average(Xs, A):-
          my_length(Xs, L),
          my_sum_elements(Xs, S),
          A is S / L.

?- my_average([1,2,3,4,5,6], A).

A = 3.5

my_mul_elements([], S, S).

my_mul_elements([X|Xs], T, S):-
          T2 is T * X,
          my_mul_elements(Xs, T2, S).

?- my_mul_elements([1,2,3,4,5], 1, S).

S = 120

my_mul_elements([], 1).

my_mul_elements([X|Xs], S):-
          my_mul_elements(Xs, S2),
          S is S2 * X.

?- my_mul_elements([1,2,3,4,5], S).

S = 120

my_sum_elements([], S, S).

my_sum_elements([X|Xs], T, S):-
          T2 is T + X,
          my_sum_elements(Xs, T2, S).

?- my_sum_elements([1,2,3,4,5], 0, S).

S = 15

my_sum_elements([], 0).

my_sum_elements([X|Xs], S):-
          my_sum_elements(Xs, S2),
          S is S2 + X.

?- my_sum_elements([1,2,3,4,5], S).

S = 15

my_remove_element(_, [], []).

my_remove_element(Y, [Y|Xs], Zs):-
          my_remove_element(Y, Xs, Zs), !.

my_remove_element(X, [Y|Xs], [Y|Zs]):-
          my_remove_element(X, Xs, Zs).

?- my_remove_element(b, [a,b,c,b,e,b,f,g], Zs).

Zs = [a,c,e,f,g]

my_n_element([Y|_], N, N, Y).

my_n_element([_|Xs], I, N, Y):-
          I2 is I + 1,
          my_n_element(Xs, I2, N, Y).

?- my_n_element([m,j,k,e,w], 1, 3, X).

X = k

my_n_element([Y|_], 1, Y).

my_n_element([_|Xs], N, Y):-
          N2 is N - 1,
          my_n_element(Xs, N2, Y).

?- my_n_element([m,j,k,e,w], 3, X).

X = k

my_remove_one_element(X, [X|Xs], Xs).

my_remove_one_element(X, [Y|Ys], [Y|Zs]):-
          my_remove_one_element(X, Ys, Zs).

?- my_remove_one_element(b, [a,b,c,b,e,b,f,g], Zs).

Zs = [a,c,b,e,b,f,g]
Zs = [a,b,c,e,b,f,g]
Zs = [a,b,c,b,e,f,g]

?- my_remove_one_element(b, Ys, [a,c,e]).

Ys = [b,a,c,e]
Ys = [a,b,c,e]
Ys = [a,c,b,e]
Ys = [a,c,e,b]

my_last_element(Xs, X):-
          my_append(_, [X], Xs).

?- my_last_element([m,j,k,e,w], X).

X = w

my_last_element([Y], Y).

my_last_element([_|Xs], Y):-
          my_last_element(Xs, Y).

?- my_last_element([m,j,k,e,w], X).

X = w

my_first_element([X|_], X).

?- my_first_element([m,j,k,e,w], X).

X = m

my_reverse([], Zs, Zs).

my_reverse([X|Xs], Ys, Zs):-
          my_reverse(Xs, [X|Ys], Zs).

?- my_reverse([1,2,3,4,5], [], Ls).

Ls = [5,4,3,2,1]

my_length([], L, L).

my_length([_|Xs], N, L):-
          N2 is N + 1,
          my_length(Xs, N2, L).

?- my_length([a,b,c,d,e], 0, L).

L = 5

my_length([], 0).

my_length([_|Xs], L):-
          my_length(Xs, L2),
          L is L2 + 1.

?- my_length([a,b,c,d,e], L).

L = 5

my_member(X, [X|_]).

my_member(X, [_|Ys]):-
          my_member(X, Ys).

?- my_member(3, [1,2,5,2,1,3,4]).

yes

?- my_member(8, [1,2,5,2,1,3,4]).

no

my_append([], Cs, Cs).

my_append([A|As],Bs,[A|Cs]):-
          my_append(As, Bs, Cs).

?- my_append([a,b,c], [w,x,y,z], Ls).

Ls = [a,b,c,w,x,y,z]

my_fibonacci(_, _, 0).

my_fibonacci(A, B, N):-
          write(A),
          write(' '),
          N1 is N-1,
          C is A + B,
          my_fibonacci(B, C, N1).

?- my_fibonacci(0, 1, 10).

0 1 1 2 3 5 8 13 21 34 yes

my_factorial(1,F,F):- !.

my_factorial(N, T, F):-
          N2 is N-1,T2 is T * N,
          my_factorial(N2, T2, F).

?- my_factorial(5, 1, F).

F = 120

my_factorial(1,1):- !.

my_factorial(N, F):-
          N2 is N-1,
          my_factorial(N2, F2),
          F is F2*N.

?- my_factorial(5, X).

F = 120

my_sum(I, I, R, R):- !.

my_sum(I, N, R, F):-
          I1 is I+1,
          R1 is R+I1,
          my_sum(I1, N, R1, F).

?- my_sum(0, 6, 0, S).

S = 21

my_sum(0, 0):- !.

my_sum(N, R):-
          N1 is N-1,
          my_sum(N1, R1),
          R is R1+N.

?- my_sum(6, S).

S = 21

my_max(X, Y, X):- 
          X >= Y,
          !.

my_max(_, Y, Y).

?- my_max(5, 3, Max).

Max = 5

?- my_max(4, 8, Max).

Max = 8

?- my_max(4, 8, 3).

no

my_max(X, Y, X):- 
          X >= Y.

my_max(X, Y, Y):-
          X < Y.

?- my_max(5, 3, Max).

Max = 5

?- my_max(4, 8, Max).

Max = 8

?- my_max(4, 8, 3).

no

my_div_num(_, 0, _):-
          write('Error al dividir por cero'),
          !.

my_div_num(A, B, C):-
          C is A / B.

?- my_div_num(12, 4, C).

C = 3

?- my_sum_num(12, 0, C).

Error al dividir por cero

?- my_sum_num(12, 4, 3).

yes

?- my_sum_num(12, 4, 5).

no

my_sum_num(A, B, C):-
          C is A + B.

?- my_sum_num(3, 4, C).

C = 7

?- my_sum_num(3, 4, 5).

no

?- my_sum_num(3, 4, 7).

yes