added Query and Theory to NARProlog, ...

* parameter count testing