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