NineStep

上海理工大学2018年10月 @weizhiwei 九步法化子句集，人工智能实验 (∀x)((∀y)P(x,y)→┐(∀y)(Q(x,y)→R(x,y))) 完全合乎规范的输入才有可能得出正确结果，编写思路混乱，极大可能出现错误结果。 运行程序为test包下的testMenuFrame类