Question
Consider the following facts, rules, and queries. Facts: child('Tim','Bea'). child('Sue','Ned'). child('Ned','Bea'). child('Ann','Tim'). Rules: cousin(C1,C2) :- grandchild(C1,GP), grandchild(C2,GP). grandchild(C,GP) :- child(C,P), child(P,GP). Queries: cousin('Ann','Sue')? a. Write
Consider the following facts, rules, and queries.
Facts: child('Tim','Bea'). child('Sue','Ned'). child('Ned','Bea'). child('Ann','Tim'). Rules: cousin(C1,C2) :- grandchild(C1,GP), grandchild(C2,GP). grandchild(C,GP) :- child(C,P), child(P,GP). Queries: cousin('Ann','Sue')? a. Write the rules as clauses (disjunctions of literals). b. Write one formal proof of the query using contradiction, instantiation, and resolution. Give a justification for each line in your proof. Each step must be a premise or the result of instantiation or resolution.
Step by Step Solution
There are 3 Steps involved in it
Step: 1
Get Instant Access to Expert-Tailored Solutions
See step-by-step solutions with expert insights and AI powered tools for academic success
Step: 2
Step: 3
Ace Your Homework with AI
Get the answers you need in no time with our AI-driven, step-by-step assistance
Get Started
Oracle 11G SQL
Authors: Joan Casteel
2nd Edition
1133947360, 978-1133947363
