“子句消解”小程序使用说明

“子句消解”小程序是用来实现《人工智能》远程教学课件中子句消解功能的小程序，该程序使用JAVA语言编写。用户通过键盘与两个按钮“～”与“∨”输入合法的子句（合法的子句由字母、小括号、“～”与“∨”组成），再单击“加入子句集”按钮，程序将对所输入的子句进行语法检查，如果是合法的子句，即将它加入到右上方的子句集列表框中，当子句集列表框中含有两个子句时，就不能再输入子句了。这时，“开始消解”按钮被激活，用户可以单击它，然后将在右下方的列表框中看到子句的消解过程。“系统重置”按钮用来对程序重新初始化，选择它可以再次进行“子句消解”。