PROLOGvsResolucaoSlide06aSlide71

Prévia do material em texto

<p>Latin square 2x2</p><p>C1. l(A,B,C,D):- p(A,B),p(C,D),p(A,C),p(B,D).</p><p>C2. p(X,Y):-d(X,Y).</p><p>C3. d(1,2).</p><p>C4. d(2,1).</p><p>% l : latin square</p><p>% p : permutation</p><p>% d : diferente</p><p>Q0: ?l(P,Q,R,S)</p><p>C1. l(A,B,C,D):- p(A,B),p(C,D),p(A,C),p(B,D).</p><p>C2. p(X,Y):-d(X,Y).</p><p>C3. d(1,2).</p><p>C4. d(2,1).</p><p>Q0:</p><p>Q2:</p><p>a C3 e C6 (eliminar ?d(R,S) )</p><p>6.3 = { R2, S1 }</p><p>C36.3: { d(2,1) }</p><p>C66.3: { d(2,1),d(1,2),d(2,1) }</p><p>.</p><p>Expansão por resolução-SLD</p><p>{d(A,B),d(C,D),d(A,C),d(B,D),l(A,B,C,D)},{(d(1,2)},{d(2,1)},{l(P,Q,R,S)}</p><p>C1. { d(A,B),d(C,D),d(A,C),d(B,D),l(A,B,C,D) },</p><p>C2. { d(1,2) },</p><p>C3. { d(2,1) },</p><p>C4. {l(P,Q,R,S) }</p><p>C5. { d(P,Q),d(R,S),d(P,R),d(Q,S) }</p><p>C6. { d(R,S),d(1,R),d(2,S) }</p><p>Aplicar Resolução a C3 e C6 (eliminar ?d(R,S) )</p><p>6.3 = { R2, S1 }</p><p>C36.3: { d(2,1) }</p><p>C66.3: { d(2,1),d(1,2),d(2,1) }</p><p>.</p><p>Expansão por resolução-SLD</p><p>{d(A,B),d(C,D),d(A,C),d(B,D),l(A,B,C,D)},{(d(1,2)},{d(2,1)},{l(P,Q,R,S)}</p><p>C1. { d(A,B),d(C,D),d(A,C),d(B,D),l(A,B,C,D) },</p><p>C2. { d(1,2) },</p><p>C3. { d(2,1) },</p><p>C4. {l(P,Q,R,S) }</p><p>C5. { d(P,Q),d(R,S),d(P,R),d(Q,S) }</p><p>C6. { d(R,S),d(1,R),d(2,S) }</p><p>Aplicar Resolução a C3 e C6 (eliminar ?d(R,S) )</p><p>6.3 = { R2, S1 }</p><p>C36.3: { d(2,1) }</p><p>C66.3: { d(2,1),d(1,2) }</p><p>.</p><p>Expansão por resolução-SLD</p><p>{d(A,B),d(C,D),d(A,C),d(B,D),l(A,B,C,D)},{(d(1,2)},{d(2,1)},{l(P,Q,R,S)}</p><p>C1. { d(A,B),d(C,D),d(A,C),d(B,D),l(A,B,C,D) },</p><p>C2. { d(1,2) },</p><p>C3. { d(2,1) },</p><p>C4. {l(P,Q,R,S) }</p><p>C5. { d(P,Q),d(R,S),d(P,R),d(Q,S) }</p><p>C6. { d(R,S),d(1,R),d(2,S) }</p><p>Aplicar Resolução a C3 e C6 (eliminar ?d(R,S) )</p><p>6.3 = { R2, S1 }</p><p>C36.3: { d(2,1) }</p><p>C66.3: { d(2,1),d(1,2) }</p><p>C7 = Resd(2,1)(C36.3,C66.3):{ d(1,2) }</p><p>Expansão por resolução-SLD</p><p>{d(A,B),d(C,D),d(A,C),d(B,D),l(A,B,C,D)},{(d(1,2)},{d(2,1)},{l(P,Q,R,S)}</p><p>C1. { d(A,B),d(C,D),d(A,C),d(B,D),l(A,B,C,D) },</p><p>C2. { d(1,2) },</p><p>C3. { d(2,1) },</p><p>C4. {l(P,Q,R,S) }</p><p>C5. { d(P,Q),d(R,S),d(P,R),d(Q,S) }</p><p>C6. { d(R,S),d(1,R),d(2,S) }</p><p>C7. { d(1,2) }</p><p>.</p><p>.</p><p>.</p><p>.</p><p>.</p><p>Expansão por resolução-SLD</p><p>{d(A,B),d(C,D),d(A,C),d(B,D),l(A,B,C,D)},{(d(1,2)},{d(2,1)},{l(P,Q,R,S)}</p><p>C1. { d(A,B),d(C,D),d(A,C),d(B,D),l(A,B,C,D) },</p><p>C2. { d(1,2) },</p><p>C3. { d(2,1) },</p><p>C4. {l(P,Q,R,S) }</p><p>C5. { d(P,Q),d(R,S),d(P,R),d(Q,S) }</p><p>C6. { d(R,S),d(1,R),d(2,S) }</p><p>C7. { d(1,2) }</p><p>Aplicar Resolução a C2 e C7 (eliminar ?d(1,2) )</p><p>.</p><p>.</p><p>.</p><p>.</p><p>Expansão por resolução-SLD</p><p>{d(A,B),d(C,D),d(A,C),d(B,D),l(A,B,C,D)},{(d(1,2)},{d(2,1)},{l(P,Q,R,S)}</p><p>C1. { d(A,B),d(C,D),d(A,C),d(B,D),l(A,B,C,D) },</p><p>C2. { d(1,2) },</p><p>C3. { d(2,1) },</p><p>C4. {l(P,Q,R,S) }</p><p>C5. { d(P,Q),d(R,S),d(P,R),d(Q,S) }</p><p>C6. { d(R,S),d(1,R),d(2,S) }</p><p>C7. { d(1,2) }</p><p>Aplicar Resolução a C2 e C7 (eliminar ?d(1,2) )</p><p>7.2 = { }</p><p>.</p><p>.</p><p>.</p><p>Expansão por resolução-SLD</p><p>{d(A,B),d(C,D),d(A,C),d(B,D),l(A,B,C,D)},{(d(1,2)},{d(2,1)},{l(P,Q,R,S)}</p><p>C1. { d(A,B),d(C,D),d(A,C),d(B,D),l(A,B,C,D) },</p><p>C2. { d(1,2) },</p><p>C3. { d(2,1) },</p><p>C4. {l(P,Q,R,S) }</p><p>C5. { d(P,Q),d(R,S),d(P,R),d(Q,S) }</p><p>C6. { d(R,S),d(1,R),d(2,S) }</p><p>C7. { d(1,2) }</p><p>Aplicar Resolução a C2 e C7 (eliminar ?d(1,2) )</p><p>7.2 = { }</p><p>C27.2 : { d(1,2) }</p><p>C77.2 : {d(1,2) }</p><p>.</p><p>Expansão por resolução-SLD</p><p>{d(A,B),d(C,D),d(A,C),d(B,D),l(A,B,C,D)},{(d(1,2)},{d(2,1)},{l(P,Q,R,S)}</p><p>C1. { d(A,B),d(C,D),d(A,C),d(B,D),l(A,B,C,D) },</p><p>C2. { d(1,2) },</p><p>C3. { d(2,1) },</p><p>C4. {l(P,Q,R,S) }</p><p>C5. { d(P,Q),d(R,S),d(P,R),d(Q,S) }</p><p>C6. { d(R,S),d(1,R),d(2,S) }</p><p>C7. { d(1,2) }</p><p>Aplicar Resolução a C2 e C7 (eliminar ?d(1,2) )</p><p>7.2 = { }</p><p>C27.2 : { d(1,2) }</p><p>C77.2 : {d(1,2) }</p><p>C8 = Resd(2,1)(C27.2,C77.2):{ }</p><p>Expansão por resolução-SLD</p><p>{d(A,B),d(C,D),d(A,C),d(B,D),l(A,B,C,D)},{(d(1,2)},{d(2,1)},{l(P,Q,R,S)}</p><p>C1. { d(A,B),d(C,D),d(A,C),d(B,D),l(A,B,C,D) },</p><p>C2. { d(1,2) },</p><p>C3. { d(2,1) },</p><p>C4. {l(P,Q,R,S) }</p><p>C5. { d(P,Q),d(R,S),d(P,R),d(Q,S) }</p><p>C6. { d(R,S),d(1,R),d(2,S) }</p><p>C7. { d(1,2) }</p><p>C8. { }</p><p>.</p><p>Expansão por resolução-SLD</p><p>{d(A,B),d(C,D),d(A,C),d(B,D),l(A,B,C,D)},{(d(1,2)},{d(2,1)},{l(P,Q,R,S)}</p><p>C1. { d(A,B),d(C,D),d(A,C),d(B,D),l(A,B,C,D) },</p><p>C2. { d(1,2) },</p><p>C3. { d(2,1) },</p><p>C4. {l(P,Q,R,S) }</p><p>C5. { d(P,Q),d(R,S),d(P,R),d(Q,S) }</p><p>C6. { d(R,S),d(1,R),d(2,S) }</p><p>C7. { d(1,2) }</p><p>C8. { }</p><p>Expansão por resolução-SLD fechada</p><p>Expansão por resolução-SLD</p><p>{d(A,B),d(C,D),d(A,C),d(B,D),l(A,B,C,D)},{(d(1,2)},{d(2,1)},{l(P,Q,R,S)}</p><p>Formato de “árvore”</p><p>C3.{d(2,1)}C2.{d(1,2)}C1.C4.{l(P,Q,R,S)}</p><p>C5 = Resl(C14.1,C44.1)</p><p>C6 = Resd(1,2)(C25.2,C55.2)</p><p>C7 = Resd(2,1)(C36.3,C66.3)</p><p>C8 = Resd(2,1)(C27.2,C77.2)</p><p>Slide 6: Latin square 2x2</p><p>Slide 7</p><p>Slide 8</p><p>Slide 9</p><p>Slide 10</p><p>Slide 11</p><p>Slide 12</p><p>Slide 13</p><p>Slide 14</p><p>Slide 15</p><p>Slide 16</p><p>Slide 17</p><p>Slide 18</p><p>Slide 19</p><p>Slide 20</p><p>Slide 21</p><p>Slide 22</p><p>Slide 23</p><p>Slide 24</p><p>Slide 25</p><p>Slide 26</p><p>Slide 27</p><p>Slide 28</p><p>Slide 29</p><p>Slide 30</p><p>Slide 31</p><p>Slide 32</p><p>Slide 33</p><p>Slide 34</p><p>Slide 35</p><p>Slide 36</p><p>Slide 37</p><p>Slide 38</p><p>Slide 39</p><p>Slide 40</p><p>Slide 41</p><p>Slide 42</p><p>Slide 43: Latin Square de tamanho 2x2</p><p>Slide 44: Consulta Q0: ? l(P,Q,R,S).</p><p>Slide 45: Prova em PROGRAMAÇÃO LÓGICA</p><p>Slide 46: C1C2C3Q0 em FNC</p><p>Slide 47: Expansão por resolução-SLD {d(A,B),d(C,D),d(A,C),d(B,D),l(A,B,C,D)},{(d(1,2)},{d(2,1)},{l(P,Q,R,S)}</p><p>Slide 48: Expansão por resolução-SLD {d(A,B),d(C,D),d(A,C),d(B,D),l(A,B,C,D)},{(d(1,2)},{d(2,1)},{l(P,Q,R,S)}</p><p>Slide 49: Expansão por resolução-SLD {d(A,B),d(C,D),d(A,C),d(B,D),l(A,B,C,D)},{(d(1,2)},{d(2,1)},{l(P,Q,R,S)}</p><p>Slide 50: Expansão por resolução-SLD {d(A,B),d(C,D),d(A,C),d(B,D),l(A,B,C,D)},{(d(1,2)},{d(2,1)},{l(P,Q,R,S)}</p><p>Slide 51: Expansão por resolução-SLD {d(A,B),d(C,D),d(A,C),d(B,D),l(A,B,C,D)},{(d(1,2)},{d(2,1)},{l(P,Q,R,S)}</p><p>Slide 52: Expansão por resolução-SLD {d(A,B),d(C,D),d(A,C),d(B,D),l(A,B,C,D)},{(d(1,2)},{d(2,1)},{l(P,Q,R,S)}</p><p>Slide 53: Expansão por resolução-SLD {d(A,B),d(C,D),d(A,C),d(B,D),l(A,B,C,D)},{(d(1,2)},{d(2,1)},{l(P,Q,R,S)}</p><p>Slide 54: Expansão por resolução-SLD {d(A,B),d(C,D),d(A,C),d(B,D),l(A,B,C,D)},{(d(1,2)},{d(2,1)},{l(P,Q,R,S)}</p><p>Slide 55: Expansão por resolução-SLD {d(A,B),d(C,D),d(A,C),d(B,D),l(A,B,C,D)},{(d(1,2)},{d(2,1)},{l(P,Q,R,S)}</p><p>Slide 56: Expansão por resolução-SLD {d(A,B),d(C,D),d(A,C),d(B,D),l(A,B,C,D)},{(d(1,2)},{d(2,1)},{l(P,Q,R,S)}</p><p>Slide 57: Expansão por resolução-SLD {d(A,B),d(C,D),d(A,C),d(B,D),l(A,B,C,D)},{(d(1,2)},{d(2,1)},{l(P,Q,R,S)}</p><p>Slide 58: Expansão por resolução-SLD {d(A,B),d(C,D),d(A,C),d(B,D),l(A,B,C,D)},{(d(1,2)},{d(2,1)},{l(P,Q,R,S)}</p><p>Slide 59: Expansão por resolução-SLD {d(A,B),d(C,D),d(A,C),d(B,D),l(A,B,C,D)},{(d(1,2)},{d(2,1)},{l(P,Q,R,S)}</p><p>Slide 60: Expansão por resolução-SLD {d(A,B),d(C,D),d(A,C),d(B,D),l(A,B,C,D)},{(d(1,2)},{d(2,1)},{l(P,Q,R,S)}</p><p>Slide 61: Expansão por resolução-SLD {d(A,B),d(C,D),d(A,C),d(B,D),l(A,B,C,D)},{(d(1,2)},{d(2,1)},{l(P,Q,R,S)}</p><p>Slide 62: Expansão por resolução-SLD {d(A,B),d(C,D),d(A,C),d(B,D),l(A,B,C,D)},{(d(1,2)},{d(2,1)},{l(P,Q,R,S)}</p><p>Slide 63: Expansão por resolução-SLD {d(A,B),d(C,D),d(A,C),d(B,D),l(A,B,C,D)},{(d(1,2)},{d(2,1)},{l(P,Q,R,S)}</p><p>Slide 64: Expansão por resolução-SLD {d(A,B),d(C,D),d(A,C),d(B,D),l(A,B,C,D)},{(d(1,2)},{d(2,1)},{l(P,Q,R,S)}</p><p>Slide 65: Expansão por resolução-SLD {d(A,B),d(C,D),d(A,C),d(B,D),l(A,B,C,D)},{(d(1,2)},{d(2,1)},{l(P,Q,R,S)}</p><p>Slide 66: Expansão por resolução-SLD {d(A,B),d(C,D),d(A,C),d(B,D),l(A,B,C,D)},{(d(1,2)},{d(2,1)},{l(P,Q,R,S)}</p><p>Slide 67: Expansão por resolução-SLD {d(A,B),d(C,D),d(A,C),d(B,D),l(A,B,C,D)},{(d(1,2)},{d(2,1)},{l(P,Q,R,S)}</p><p>Slide 68: Expansão por resolução-SLD {d(A,B),d(C,D),d(A,C),d(B,D),l(A,B,C,D)},{(d(1,2)},{d(2,1)},{l(P,Q,R,S)}</p><p>Slide 69: Expansão por resolução-SLD {d(A,B),d(C,D),d(A,C),d(B,D),l(A,B,C,D)},{(d(1,2)},{d(2,1)},{l(P,Q,R,S)}</p><p>Slide 70: Expansão por resolução-SLD {d(A,B),d(C,D),d(A,C),d(B,D),l(A,B,C,D)},{(d(1,2)},{d(2,1)},{l(P,Q,R,S)}</p><p>Slide 71: Formato de “árvore”</p>