Tengo un problema tratando de obtener algún código que devuelva respuestas únicas a mi consulta. Por ejemplo, la definición de stuff(A,B,C) :- A=C ; B=C.
morestuff([],[],[]).
morestuff([A|AA],[B|BB]
tengo P1 predicado que devuelve valores uno tras otro como esto: -? P1(ARGUMENTS, RETURN).
-? RETURN = 1;
-? RETURN = 2;
-? RETURN = 3;
-? fail.
También tengo otro predicado llamado P2: P2(ARGUM