Hola Alguien me ayuda con esta duda que tengo, como hacer que algo sea reciproco.

familia(ana,pedro).
familia(natalia,juan).
familia(juliana,jose).
familia(valeria,marcelo).

1-? familia(pedro,ana).
false.

hice este predicado

familia(x,y):-familia(y,x).

pero me sale algo infinito y me tira error.

quiero que.

familia(pedro,ana).
true.

hola, primero arrancamos con crear un predicado (una regla).

tenemos que verificar que ambas personas son familiares, tenemos que evaluar el orden de los parametros entonces podria crear algo como esto :

% base de conocimiento
familia(ana,pedro).
familia(natalia,juan).
familia(juliana,jose).
familia(valeria,marcelo).


sonFamilia(Persona,OtraPersona) :- familia(Persona,OtraPersona).
sonFamilia(Persona,OtraPersona) :- familia(OtraPersona,Persona).

asi cuando el motor busque las solucione posibles , va a ligar con todos ,independientemente del orden de los parametros ya que tenemos 2 predicados con distintos orden de parametro pero que al final son los mismo , fijate que lo que maso menos representa seria un V (o) si acordas de discreta

o es por aca ,sonFamilia(Persona,OtraPersona) :- familia(Persona,OtraPersona).

o por aca son Familia(Persona,OtraPersona) :- familia(OtraPersona,Persona).

que en cualquier de los 2 casos, si uno es verdadero la consulta va hacer verdadera, para que la consulta sea falsa, tendria que ser 2 falsos , a menos que le envies , mascostas perros o gatos lo cual no estan en tu base de conocimiento

fijate que en la tercera consulta que hice, el motor va a buscar todas las soluciones posibles para lo cual se va a cumplir , y las repite por el tema que inverti lo parametros.
consultas en prolog

4 ?- sonFamilia(pedro,ana).
true.

5 ?- sonFamilia(jose , juliana).
true.

6 ?- sonFamilia(Persona ,OtraPersona).
Persona = ana,
OtraPersona = pedro ;
Persona = natalia,
OtraPersona = juan ;
Persona = juliana,
OtraPersona = jose ;
Persona = valeria,
OtraPersona = marcelo ;
Persona = pedro,
OtraPersona = ana ;
Persona = juan,
OtraPersona = natalia ;
Persona = jose,
OtraPersona = juliana ;
Persona = marcelo,
OtraPersona = valeria.

espero te sirva.

saludos

gracias, y te pregunto como haria para solo tener un solo tipo de clima sin repetir.

ropa(invierno,joggins).
ropa(invierno,campera).
ropa(invierno,guantes).
ropa(otoño,bufanda).
ropa(primavera,remera).
ropa(verano,short).

estacion(Clima):-ropa(Clima,_).

Clima:invierno;
Clima:invierno;
Clima:invierno;
Clima:otoño;
Clima:primavera;
Clima:verano.

Quisiera solo tener

Clima:invierno;
Clima:otoño;
Clima:primavera;
Clima:verano.

(17-06-2015 19:39)alvar escribió:  Hola Alguien me ayuda con esta duda que tengo, como hacer que algo sea reciproco.

familia(ana,pedro).
familia(natalia,juan).
familia(juliana,jose).
familia(valeria,marcelo).

1-? familia(pedro,ana).
false.

hice este predicado

familia(x,y):-familia(y,x).

pero me sale algo infinito y me tira error.

quiero que.

familia(pedro,ana).
true.

El problema que tuviste ahí fue que usaste las "variables" en minúscula, cuando van en mayúscula. Pero estaba bien planteado, en principio. Después faltaba hacer al revés como te lo explicó el otro muchacho

(18-06-2015 00:29)alvar escribió:  gracias, y te pregunto como haria para solo tener un solo tipo de clima sin repetir.

ropa(invierno,joggins).
ropa(invierno,campera).
ropa(invierno,guantes).
ropa(otoño,bufanda).
ropa(primavera,remera).
ropa(verano,short).

estacion(Clima):-ropa(Clima,_).

Clima:invierno;
Clima:invierno;
Clima:invierno;
Clima:otoño;
Clima:primavera;
Clima:verano.

Quisiera solo tener

Clima:invierno;
Clima:otoño;
Clima:primavera;
Clima:verano.

Te cambia en algo que se repita?, el enunciado te pide que sean únicos?.