/*
    rel_d1.pro
    Ejemplo 1, "Matemáticas Discretas", Ross, p.309
    Alberto Pacheco, alberto@acm.org, Nov-Dic'98, Ago'99*/

%-- RELACION DE NOMBRES DE RELACIONES
init.
data(r1).
data(r2).
data(r3).
data(r4).

%-- RELACIONES
% S = [1,4] (implícito)

% R1 = { m#SxS } (NR,NS,T)
r1(1,2). r1(1,3). r1(1,4). r1(2,3). r1(2,4). r1(3,4).

% R2 = { |m-n|<=1 | #SxS } (R,S)
r2(1,1). r2(1,2). r2(2,1). r2(2,2). r2(2,3).
r2(3,2). r2(3,3). r2(3,4). r2(4,3). r2(4,4).

% R3 = { (m-n) divisible entre 3 | #SxS } (R,S,T)
% m=n(mod 3) p.182
r3(1,1). r3(1,4). r3(2,2). r3(3,3). r3(4,1). r3(4,4).

% E = "Relación de igualdad" = {  | x#S } (R,S,AS)
r4(1,1). r4(2,2). r4(3,3). r4(4,4).

%