report/src/task12.pl

   1 ?- [diagnosis].
   2 % tp compiled 0.01 sec, 99 clauses
   3 % diagnosis compiled 0.01 sec, 109 clases
   4 true.
   5
   6 ?- problem1(SD, COMP, OBS), tp(SD, COMP, OBS, [], CS).
   7 SD = [all _G32: (and(_G32), ~ab(_G32)=> ... ],
   8 COMP = [a1, a2],
   9 OBS = [in1(a1), in2(a1), ~out(a1), in1(a2), in2(a2), ~out(a2)],
  10 CS = [a1].
  11
  12 ?- problem2(SD, COMP, OBS), tp(SD, COMP, OBS, [], CS).
  13 SD = [all _G32: (and(_G32), ~ab(_G32)=> ... ],
  14 COMP = CS, CS = [a1, a2],
  15 OBS = [in1(a1), ~in2(a1), out(a2)].
  16
  17 ?- problem3(SD, COMP, OBS), tp(SD, COMP, OBS, [], CS).
  18 SD = [all _G32: (and(_G32), ~ab(_G32)=> ... ],
  19 COMP = [a1, a2, o1],
  20 OBS = [in1(a1), in2(a1), in1(a2), in2(a2), ~out(o1)],
  21 CS = [a1, o1, a2].
  22
  23 ?- fulladder(SD, COMP, OBS), tp(SD, COMP, OBS, [], CS).
  24 SD = [all _G32: (and(_G32), ~ab(_G32)=> .. ],
  25 COMP = [a1, a2, x1, x2, r1],
  26 OBS = [in1(fa), ~in2(fa), carryin(fa), out(fa), ~carryout(fa)],
  27 CS = [a1, x1, a2, r1, x2].