Consider a database of facts that describe parent relationships as well as gender relationships. The predicate parent$($john$,$ann$)$ is interpreted as: "John is a parent of Ann". The predicate male$($john$)$ is interpreted as: "John is a man". The predicate female$($ann$)$ is interpreted as: "Ann is a woman".Create a prolog program $($relationship$.$pl$)$ and include the following rules. parent$($john$,$ann$).$ parentjim,john$).$ parentfim,keith$).$parent$($im$,$nora$).$parent$($mary$,$ ann$).$ parent$($mary$,$sylvia$).$ parent$($brian$,$sylvia$).$ parent$($brian$,$betty$).$ male $($keith$).$ male $($jim$).$ male $($brian$).$ female$($sylvia$).$ female$($betty$).$ female$($ann$).$ female$($mary$).$Note that some things are not specified in the database above $($e$.$g$.,$ male $($john$)).$Note that a true may be left blank if running on the gl server. Trailing false's after queries with two variables are ok$.$A$.(10$ points$)$ Add a Prolog predicate sibling$($X$,$ Y$)$ that is true if X and Y have the same mother or the same father. For instance $($user input is in