January 15th, 2020 
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.
Posted in 