Adding and testing existential rules in Datalog+.

Signed-off-by: greenTara <taraathan@gmail.com>