@@ -87,7 +87,7 @@ When you execute the Main class, the `example.dlgp` file is parsed and a factbas
...
@@ -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.
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
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:
Otherwise, you can add the following 2 lines between the parsing of the data file and the evaluation of the queries: