Design a deductive database system in Datalog for the database listed below. For this exercise, assume names uniquely identify one person; also assume that if two parents have children in common (one or more), then they are married. Additionally, if children have common parents then they are siblings. Define rules for grandparent, grandfather, sister and five additional rules on your own.
All applicants go through a series of tests that check their level of English and knowledge of formatting styles. The applicant is also required to present a sample of writing to the Evaluation Department. If you wish to find out more about the procedure, check out the whole process.