disabling existential head option at GroundLog expressivity (no variables)

Signed-off-by: greenTara <taraathan@gmail.com>
integrating existential and disjunctive rules

Signed-off-by: greenTara <taraathan@gmail.com>
Merge pull request #15 from greenTara/1.01-dev

1.01 dev