Re: [Potassco-users] oclingo incremental grounder

[Torsten G. <Tor...@un...>]

Hi Zahra,

On Wednesday 01 August 2012 09:14:38 Zahra Vaseqi wrote:
> I was wondering if the incremental grounder implemented in oclingo can only
> add time-dependent predicates with the increasing time parameter (dynamic
> parameter) or it is also capable of grounding predicates in terms of their
> other parameters?

I'm not sure that I completely understood what you mean. oClingo uses the same 
grounder as iClingo and thus also grounds other variables. But you can only 
use one "increasing time parameter".

> BTW, I can somehow guess that restricting the program to have all the
> names(parameters) used in the external atoms defined (I mean the ones used
> in the encoding, not the ones imported using --impart=all), removes the
> need for incremental grounding in terms of new names as there are not any
> new names.

Here also, I'm not sure I got your question right. Maybe you can try to 
rephrase it or give an example?

Regards,
Torsten