Add NAMED facts to filtering program

The difference between NAMED and NI facts still needs to be clarified
but this is the implementation closest to the paper description.

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])
   val bounded: List[Term] = this.variables.filterNot(answer.contains(_))
 
   val facts: List[TupleTableAtom] = constants.map(named)
-  val rules: List[Rule] = this.generateFilteringProgram().map(reifyRule)
+  val rules: List[Rule] =
+    this.generateFilteringProgram().map(reifyRule) ++ facts.map(Rule.create(_))
 
   private def named(t: Term): TupleTableAtom =
     TupleTableAtom.rdf(