Assume, you are working with the following knowledge base: family(person( john, cohen, date(17,may,1990), unemployed), person( lily, cohen, date(9,may,1990), unemployed), []). family(person(john, armstrong, date(7,may, 1988), unemployed), person( lily, armstrong, date(29,may,1961), unemployed), []). family(person( eric, baily, date(7,may,1963), works( bbc, 2200)), person( grace, baily, date(9,may,1965), works( ntu, 1000)), (person( louie, baily, date(25,may,1983), unemployed)]). family(person( eric, baily, date(7,may, 1963), works( acc, 21200)), person( grace, baily, date(9,may,1965), works( ntnu, 12000)). (person( louie, baily, date(25,may,1983), unemployed)]). family(person( eric, fox, date(27,may, 1970), works( bbc, 25200)), person grace, fox, date(9,may, 1971), works( ntbu, 13000)), [person( louie, fox, date(5, may, 1993), unemployed) 1). family(person( tom, cohen, date(7,may,1960), works( bcd, 15200)), person( ann, cohen, date(29,may, 1961), unemployed), [person pat, cohen, date(5,may, 1983), works( bcd, 15200)). person( jim, cohen, date(5,may, 1983), works( bcd, 15200))]). family(person( bob, armstrong, date(12,0ct, 1977), works( ntnu, 12000)), person( liz,armstrong, date(6,oct, 1975), unemployed). [person( bob, armstrong, date(6,oct,1999), unemployed), person( sam,armstrong, date(8,oct, 1998), unemployed) 1). family(person( tony, oliver, date(7,may, 1960), works( bbc, 35200)), person anny, oliver, date(9,may,1961), unemployed), [person( patty, oliver, date(8,may,1984), unemployed), person( jimey, oliver, date(5,may, 1983), unemployed) 1). family(person( jack, fox, date(27,may, 1940), unemployed), person( jane, fox, date(9,aug, 1941), works( ntu, 13050)), (person andy, fox, date(5,aug, 1967), works( com, 12000)), person( kai, fox, date(5,jul, 1969), unemployed)]). husband(X) :-family( X, -- ). wife(X) :-family( _, X,_). child(X) :- family( -, -, Children), member(X, Children). exists(Persons) :- husband Persons); wife( Persons); child Persons). dateofbirth(person, _, Date, ), Date). salary(person, -, -, works(_, S)), S). salary(person, -, unemployed), 0). Write the details of steps of search (unification, resolutions, and back tracking) and also the answer for each of the following queries. (You can show the details of your search process by drawing search trees for each of the following queries) ? exists(P), dateofbirth(P, date(__,Y)), Y