Preguntas sobre Prolog

¿Cuándo son útiles las listas en prolog?

• Consultas donde necesitamos agregación (por ej. contar o sumar resultados)

• Saber si una consulta se cumple más de una vez

• Saber si una consulta nunca se cumple

• Todas las opciones son correctas

¿Cómo se podría reescribir 'findall(X, consulta(X), Lista), length(Lista, Cantidad), Cantidad > 0.'?

• consulta(X).

• not(consulta(_)).

• forall(X, consulta(X)).

• member(X, consulta(X)).

¿Cómo se podría reescribir 'findall(X, consulta(X), Lista), length(Lista, 0.)'?

• consulta(X).

• not(consulta(_)).

• forall(consulta(X), consulta(Y)).

• forall(X, consulta(X)).

¿Cómo se podría reescribir 'findall(X, consulta(X), Lista), member(X, Lista.)'?

• consulta(X).

• not(consulta(_)).

• forall(consulta(X), consulta(Y)).

• forall(X, consulta(X)).

¿Cómo se podría reescribir 'findall(X, c1(X), Xs), findall(Y, c2(Y), Ys), forall(member(E, Xs), member(E, Ys)).'?

• forall(c1(X), c2(X)).

• forall(c1(X), c2(Y)).

• c1(x), c2(x).

• not((c1(_), c2(_)).