CP5520: Construct either a model-theoretic interpretation or a proof-theoretic interpretation of the above rules using: Advanced Databases and Applications Assignment, JCU
Deductive Database Consider a deductive database with the following rules: Notice that PARENT(X, Y) means that X and Y are human beings and Y…