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.
| M | T | W | T | F | S | S |
|---|---|---|---|---|---|---|
| 1 | 2 | 3 | ||||
| 4 | 5 | 6 | 7 | 8 | 9 | 10 |
| 11 | 12 | 13 | 14 | 15 | 16 | 17 |
| 18 | 19 | 20 | 21 | 22 | 23 | 24 |
| 25 | 26 | 27 | 28 | 29 | 30 | |
Awesomeassignments.com provides custom model essays and term papers for inspiration and learning purposes only. Please do not forget to cite us as a source should you decide to use any part of the paper your receive from us in your own work.
Copyright © Awesome Assignments -
Posted in