% respuestas-3.in
%==============================================================================


%******************************************************************************
% Enunciado
%******************************************************************************

%   De las siguientes personas Juan, Jorge, V�ctor, Mar�a, Agata y Carla se 
% sabe que Mar�a, Jorge y Victor son ricos y que Mar�a y Juan se aman, que 
% V�ctor ama a Mar�a y que Jorge y V�ctor se aman. Admitiendo que dos personas
% pueden casarse si son de distintos sexo y se aman o una es rica y ama a la 
% otra, determinar las parejas que pueden casarse.

%******************************************************************************
% Soluci�n:
%******************************************************************************

set(ur_res).
assign(max_proofs, -1).

list(usable).
 Hombre(Juan).
 Hombre(Jorge).
 Hombre(Victor).

 Mujer(Maria).
 Mujer(Agata).
 Mujer(Carla).

 Rico(Maria).
 Rico(Jorge).
 Rico(Victor).

 Ama(Maria, Juan).
 Ama(Juan, Maria).
 Ama(Victor, Maria).
 Ama(Jorge, Victor).
 Ama(Victor, Jorge).

% Los hombres y las mujeres son de sexos distintos:
 -Mujer(x) | -Hombre(y) | Distinto_sexo(x,y).
 -Mujer(x) | -Hombre(y) | Distinto_sexo(y,x).

% Dos personas de distintos sexo pueden casarse si se aman o una es rica y ama
% a la otra: 
 -Distinto_sexo(x,y) | -Ama(x,y) | -Ama(y,x) | Pueden_casarse(x,y).
 -Distinto_sexo(x,y) | -Ama(x,y) | -Rico(x) | Pueden_casarse(x,y).
end_of_list.

list(sos).
% �Qu� parejas pueden casarse?:
 -Pueden_casarse(x,y) | $ANS(x,y).
end_of_list.

%==============================================================================
