| ... | ... | @@ -87,7 +87,7 @@ When you execute the Main class, the `example.dlgp` file is parsed and a factbas |
|
|
|
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.
|
|
|
|
|
|
|
|
If you want to get familiar with the library you can try to do so by yourself
|
|
|
|
- Hint: There are 2 lines of code to copy from the documentation:
|
|
|
|
- Hint: There are 2 lines of code to copy from the documentation.
|
|
|
|
|
|
|
|
Otherwise, you can add the following 2 lines between the parsing of the data file and the evaluation of the queries:
|
|
|
|
```
|
| ... | ... | |
