When you execute the Main class, the `example.dlgp` file is parsed and a factbase and rulebase are created. Then, the queries are evaluated over the factbase and the answers are printed on the standard output.
When you execute the Main class, the `example.dlgp` file is parsed and a factbase and rulebase are created. Then, the queries are evaluated over the factbase and the answers are printed on the standard output.
## Adding reasoning parts
## Adding reasoning
The previous example includes rules but these are not taken into account for answering the queries. In this step we will add the reasoning part with a saturation approach.
The previous example includes rules but these are not taken into account for answering the queries. In this step we will add the reasoning part with a saturation approach.
