Question 2 [5] The following description concerns the members of Sue's family: X is at home if X is not out Sue is out. John is Sue's husband. The above description is likely to be translated into the following program home (X).- not(out(x)). out(sue). husband (John, sue). When it is run by a standard Prolog system, it may provide contradictory responses For example. 7- home (John) yes 7- home (X) no (a) Explain why this happens. (b) What assumption causes the phenomenon described above? Question 2 [5] The following description concerns the members of Sue's family: X is at home if X is not out Sue is out. John is Sue's husband. The above description is likely to be translated into the following program home (X).- not(out(x)). out(sue). husband (John, sue). When it is run by a standard Prolog system, it may provide contradictory responses For example. 7- home (John) yes 7- home (X) no (a) Explain why this happens. (b) What assumption causes the phenomenon described above