Question: Answer the whole thing Given the following prolog program answer the following queries:/* Comments in prolog + represents not equal to */*single line comments day

Answer the whole thing
 Answer the whole thing Given the following prolog program answer the

Given the following prolog program answer the following queries:/* Comments in prolog \+ represents "not equal to" */*single line comments day ("sunday"). day ("monday"). day ("tuesay"). day ("wednesday"). day ("thursday"). day ("friday"). no_office("sunday"). no_office("saturday"). take leave ("monday"). visit_mom(X):- no_office(X) | take_leave(X). Interpret the queries and guess(!) the answer(s) produced by the program: day ("Holiday"). day(X). visit_mom(X). visit_mom(X). provided you have changed the rule with this: visit_mom(X):- no_office(X), take_Leave(X). define a new rule "working day(X)" to detect the days that are not holidays. Express the following statements in first order Logic. You can define the predicates as you wish. Apply appropriate quantifiers for each expression. I can visit my mom every day. I can visit my mom if I have no office. I take Leave some day and I can visit my mom. I can take Leave if it is a working day. What is the domain for a possible predicate "day(X)

Step by Step Solution

There are 3 Steps involved in it

1 Expert Approved Answer
Step: 1 Unlock blur-text-image
Question Has Been Solved by an Expert!

Get step-by-step solutions from verified subject matter experts

Step: 2 Unlock
Step: 3 Unlock

Students Have Also Explored These Related Databases Questions!