programacion - ¿Elementos dobles en la lista usando Prolog?

predicados en prolog

Question

¿Cómo puedo duplicar los números pares en una lista en Prolog? Por ejemplo:

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

El resultado debería ser:

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

¡Gracias!

Answer 1

Incluso el control probablemente se puede hacer mejor, pero funciona.

even(N) :-
N mod 2 =:= 0.
doubleeven([],[]).
doubleeven([H|T], [H,H|Z]) :-
even(H),
!,
doubleeven(T,Z).
doubleeven([H|T], [H|Z]) :-
doubleeven(T,Z).

Answer 2

El código que se muestra en esta respuesta se basa en el predicado de prueba reificado eveninteger_truth/2 :

eveninteger_truth(I,Truth) :-
( var(I) -> throw(error(instantiation_error ,eveninteger_truth/2))
; /+integer(I) -> throw(error(type_error(integer,I),eveninteger_truth/2))
; 0 is I mod 2 -> Truth = true
; Truth = false
).

Solo para completar, vamos a definir análogamente oddinteger_truth/2 aquí también:

oddinteger_truth(I,Truth) :-
( var(I) -> throw(error(instantiation_error ,oddinteger_truth/2))
; /+integer(I) -> throw(error(type_error(integer,I),oddinteger_truth/2))
; 1 is I mod 2 -> Truth = true
; Truth = false
).

En if_/3 de if_/3 y eveninteger_truth/2 , definimos integers_evendups/2 :

integers_evendups([],[]).
integers_evendups([X|Xs],[X|Zs1]) :-
if_(evenintegers_truth(X), Zs1 = [X|Zs0], Zs1 = Zs0),
integers_evendups(Xs,Zs0).

Veamos la consulta que hiciste en tu pregunta:

?- Xs = [1,2,3,5,4], integers_evendups(Xs,Zs). Xs = [1, 2, 3,5, 4 ], Zs = [1,2,2,3,5,4,4].

Como alternativa, ¿qué hay de usar dcg ? En función de if_//3 , definimos evenintegerdups//1 :

evenintegerdups([]) -->
[].
evenintegerdups([X|Xs]) -->
if_(eveninteger_truth(X), [X,X], [X]),
evenintegerdups(Xs).

Si usamos el meta-predicado foldl/4 y lambdas , el código puede ser aún más conciso:

:- use_module(library(lambda)).
evenintegerdupsB(Xs) -->
foldl(/X^if_(eveninteger_truth(X),[X,X],[X]),Xs).

Veamos estas dos variantes de dcg en acción:

?- Xs = [1,2,3,5,4], phrase(evenintegerdups(Xs),Zs). Xs = [1, 2, 3,5, 4 ], Zs = [1,2,2,3,5,4,4]. ?- Xs = [1,2,3,5,4], phrase(evenintegerdupsB(Xs),Zs). Xs = [1, 2, 3,5, 4 ], Zs = [1,2,2,3,5,4,4].