#55 #show statement can break oclingo

v1.x
wont-fix
gringo (48)
5
2014-04-24
2011-12-22
Martin Gebser
No

Hi again,

I experienced another error raised in the presence of a #show statement (without anonymous variables). I used the following encoding for oclingo:

cumulative t.

{ p(t) }.

show p(X).

The controller sends two integrity constraints as follows:

step 1. :- not p(1). #endstep.

step 2. :- not p(2). #endstep.

As a result, the following error message appeared:

ERROR: Clasp::ProgramBuilder& Clasp::ProgramBuilder::setAtomName(Clasp::Var, const char*)@1015: precondition violated: atomId >= startAtom()

On the other hand, things run fine if "#show p(X)." is dropped from the encoding above.

Thanks for caring,
Martin

Discussion

  • Tovok7
    Tovok7
    2012-01-04

    The same bug happens in iclingo when you run the following:

    iclingo --imin=2

    cumulative t.

    { p(t) }.

    show p(X).

    :- not p(t).

    So this is no oclingo, but a gringo problem. Please try to file bugs to the
    proper (lowest) component.

     
    • assigned_to: rkaminski --> Philipp Obermeier
    • Group: --> v1.x
     
    • status: open --> wont-fix
     
  • oclingo development is discontinued - please switch to clingo-4