logic-and-learning-lab/Popper

Adding test examples

Closed this issue · 1 comments

subhashree8 commented

I would like to know how to test a program using POPPER. In particular, I want to add test examples to robots-functional example and test it. I cannot find much info about the testing part in the readme file.

andrewcropper commented

You can simply run the induced program as a standard Prolog program, i.e. by querying the program with a test example.