家庭知识系统的构造与搜索推理实现

通过引入prolog语言中的函子、谓词和对数据模型的分析,声明含有两个特征的person复合域,创建事实和推理规则,建立家庭知识系统。通过对系统的提问,分析求解过程的规则演绎系统与或图,得到搜索策略的搜索过程,以及在程序执行时语句中回溯指针的指向过程。最终在Visual Prolog 7.3中实现这个系统,并给出运行结果。