theory Practicalimports Mainbegin section \Part 1\ (* 1 mark *)lemma disjunction_idempotence:“A \ A \ A”apply(rule iffI)apply(erule disjE)apply assumption+apply(rule disjI1)apply assumptiondone (* 1 mark *)lemma conjunction_idempotence:“A \ A \ A”apply(rule…
2020/3/15 Prolog-Puzzle-AssignmentProlog-Puzzle-Assignment23:59 100 pdf plUse PROLOG to solve a logic puzzle.Use PROLOG to write down all the rules provided in the puzzle, and then use…