While doing the homework of going through the code and figuring out the capabilities of GNU Prolog for Java, my first enquiry will be to search for the resolution technique used. Can I have a description of the ways the clauses are reduced to a minimal set, and how the resolvent are displayed?
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:
While doing the homework of going through the code and figuring out the capabilities of GNU Prolog for Java, my first enquiry will be to search for the resolution technique used. Can I have a description of the ways the clauses are reduced to a minimal set, and how the resolvent are displayed?