Commits

cacol89 committed da4c927

added new tests for EDB queries

Comments (0)

Files changed (2)

test/expected/integration/family.out

 
 yadi$ 
+-------------------
+| col0   | col1   |
+-------------------
+| Marge  | Bart   |
+| Marge  | Lisa   |
+| Marge  | Maggie |
+| Mona   | Homer  |
+| Mona   | Herb   |
+| Jackie | Marge  |
+| Jackie | Patty  |
+| Jackie | Selma  |
+-------------------
+
+yadi$ 
+------------------
+| col0  | col1   |
+------------------
+| Marge | Bart   |
+| Marge | Lisa   |
+| Marge | Maggie |
+------------------
+
+yadi$ 
 --------------------
 | col0    | col1   |
 --------------------

test/integration/family.datalog

 %%%%%%%%%%%%%%%%%
+% EDB queries
+%%%%%%%%%%%%%%%%%
+
+?- Mother(x,y).
+/
+
+?- Mother('Marge',y).
+/
+
+%%%%%%%%%%%%%%%%%
 % Self-join
 %%%%%%%%%%%%%%%%%
 
 Sibling(x,y) :- Father(f,x), Mother(m,x), Father(f,y), Mother(m,y). %, x <> y.
 ?-Sibling(x,y).
 /
+
+
+%Male_ancestor(x,y) :- Father(x,y).
+%Male_ancestor(x,y) :- Father(x,z), Male_ancestor(z,y).
+%?- Male_ancestor(x,y).
+%/
+