updated task 12 and 13

[ker1415-1.git] / report / src / task12.pl

diff --git a/report/src/task12.pl b/report/src/task12.pl
new file mode 100644 (file)
index 0000000..aab80ad
--- /dev/null
+++ b/report/src/task12.pl
@@ -0,0 +1,27 @@
+?- [diagnosis].
+% tp compiled 0.01 sec, 99 clauses
+% diagnosis compiled 0.01 sec, 109 clases
+true.
+
+?- problem1(SD, COMP, OBS), tp(SD, COMP, OBS, [], CS).
+SD = [all _G32: (and(_G32), ~ab(_G32)=> ... ],
+COMP = [a1, a2],
+OBS = [in1(a1), in2(a1), ~out(a1), in1(a2), in2(a2), ~out(a2)],
+CS = [a1].
+
+?- problem2(SD, COMP, OBS), tp(SD, COMP, OBS, [], CS).
+SD = [all _G32: (and(_G32), ~ab(_G32)=> ... ],
+COMP = CS, CS = [a1, a2],
+OBS = [in1(a1), ~in2(a1), out(a2)].
+
+?- problem3(SD, COMP, OBS), tp(SD, COMP, OBS, [], CS).
+SD = [all _G32: (and(_G32), ~ab(_G32)=> ... ],
+COMP = [a1, a2, o1],
+OBS = [in1(a1), in2(a1), in1(a2), in2(a2), ~out(o1)],
+CS = [a1, o1, a2].
+
+?- fulladder(SD, COMP, OBS), tp(SD, COMP, OBS, [], CS).
+SD = [all _G32: (and(_G32), ~ab(_G32)=> .. ],
+COMP = [a1, a2, x1, x2, r1],
+OBS = [in1(fa), ~in2(fa), carryin(fa), out(fa), ~carryout(fa)],
+CS = [a1, x1, a2, r1, x2].