diff options
Diffstat (limited to 'src/main/scala')
| -rw-r--r-- | src/main/scala/rsacomb/FilteringProgram.scala | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/main/scala/rsacomb/FilteringProgram.scala b/src/main/scala/rsacomb/FilteringProgram.scala index 7cd9de7..9c51a1c 100644 --- a/src/main/scala/rsacomb/FilteringProgram.scala +++ b/src/main/scala/rsacomb/FilteringProgram.scala | |||
| @@ -58,7 +58,8 @@ class FilteringProgram(query: SelectQuery, constants: List[Term]) | |||
| 58 | val bounded: List[Term] = this.variables.filterNot(answer.contains(_)) | 58 | val bounded: List[Term] = this.variables.filterNot(answer.contains(_)) |
| 59 | 59 | ||
| 60 | val facts: List[TupleTableAtom] = constants.map(named) | 60 | val facts: List[TupleTableAtom] = constants.map(named) |
| 61 | val rules: List[Rule] = this.generateFilteringProgram().map(reifyRule) | 61 | val rules: List[Rule] = |
| 62 | this.generateFilteringProgram().map(reifyRule) ++ facts.map(Rule.create(_)) | ||
| 62 | 63 | ||
| 63 | private def named(t: Term): TupleTableAtom = | 64 | private def named(t: Term): TupleTableAtom = |
| 64 | TupleTableAtom.rdf( | 65 | TupleTableAtom.rdf( |