|
|
To install the Integraal library, please follow the README file of the Integraal's project.
|
|
|
To install the Integraal library, please follow the README file of the Integraal's project:
|
|
|
|
|
|
https://gitlab.inria.fr/rules/integraal/-/blob/develop/README.md
|
|
|
|
|
|
To start working with the InteGraal library, you need to setup your working environment. This means having the minimum configuration needed to run InteGraal.
|
|
|
|
... | ... | @@ -85,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:
|
|
|
```
|
... | ... | |