Post by gsingh93 on Apr 7, 2015 10:45:09 GMT -8
I'm looking through the implementation of AimaProver.java in GGP Base. Most of it corresponds to logic.stanford.edu/ggp/chapters/chapter_13.html, which makes it easy to follow, but one thing I don't understand is where the reordering is done to remove all variables from negative literals. The chapter says: "In some cases it may be necessary to reorder the subgoals to ensure that all variables have been replaced by non-variable terms before a negative literal gets selected", but I don't see this in the code. Could someone point me to where this happens, or explain why it isn't necessary?