automated theorem

For this assignment you will familiarize yourself with the automated theorem Prover9. Please download the software in and read the guide files and examples in Now, consider the following information: * Animals can outrun any animals that they eat. * Carnivores eat other animals. * Outrunning is transitive: if x can outrun y and y can outrun z, then x can outrun z. * Lions eat antelopes. * Antelopes can outrun dogs. * Dogs are carnivores. Use the Prover9 program on these facts to find two specific types of animals that lions can outrun. Turn in your input and output file to this program on blackboard. Use the following predicates: eat(2 parameters) outrun(2 parameters) carnivore(1 parameter)
Powered by