| ... | ... | @@ -78,7 +78,7 @@ t(X) :- s(X). |
|
|
|
|
|
|
|
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.
|
|
|
|
|
| ... | ... | |
