Re: [Potassco-users] Syntax of externals in clingo 4

[Martin G. <ge...@cs...>]

Dear Stefan,

the change in gringo 4 is that #external statements are part of their 
encapsulating program and instantiated together with its rules. For your 
example, this means that one also needs an #external statement in the 
base part:

#external stream(5).

Then, the output should be as intended.

Cheers,
Martin


On 08/26/2014 11:17 AM, Stefan Niemczyk wrote:
> Hi,
>
> is it possible in gringo 4 to mark every occurrence of a term as
> "possible" external and so to stop the simplification during the
> grounding? This was possible in gringo 3 with "#external stream/1.", but
> I could not find a way to do the same in gringo 4.
>
> Example:
>
> #program base.
> node(Y) :- stream(Y).
>
> :- not node(5).
>
> #program inc(i).
> #external stream(i).
>
> After the first grounding the grounded and simplified program looks like
> ":-.".
>
> Sincere regards,
> Stefan Niemczyk
> _______________________________________________
> Potassco-users mailing list
> Pot...@li...
> https://lists.sourceforge.net/lists/listinfo/potassco-users
>