请问一介谓词逻辑如何用数据库建模

比如表示亲属关系的一介谓词定义如下：

father(x,y) : 表示 y 是x的父亲
child(x,y) : 表示 x 是y的孩子
male(y): 表示y 是男性

那么可以有如下推导：

father(x,y) -> child(y,x) AND male(y)

grandFather(x1,y) -> (child(y,x1) AND male(y) ) OR ( child(y,x1) AND female(y) )

还有一些，总共大概50多条这样的推导规则,其他的推导关系可以在这篇文章中找到。
http://wenku.baidu.com/view/b767132ced630b1c59eeb588.html

数据库的设计应该满足下面两个条件：
1. 容易实现替换，就是用右边的代替左边的。
2. 容易实现简化，就是用左边的代替右边的。
3. 可以实现还有结合律，分配律


查了下资料，貌似属于AI的范畴？
没有一点头绪。
我的目标就是要实现亲属关系的推导.

这个是什么？