逻辑关系模拟程序 Prolog

体会Prolog语言的推理，熟悉SWI-Prolog或Visual Prolog编程工具。 在编程环境中调试运行简单的逻辑关系推理程序。 程序自选，但必须是描述某种逻辑关系的程序。