COMP3411/9814 Artificial Intelligence Term 1, 2021Assignment 1 – Prolog and SearchDue: Friday 19 March, 10:00 pmMarks: 20% of final assessment for COMP3411/9814 Artificial IntelligencePart 1…
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…