#55 #show statement can break oclingo

gringo (48)

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,


  • 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.

  • Roland Kaminski

    Roland Kaminski - 2013-08-29
    • assigned_to: rkaminski --> Philipp Obermeier
    • Group: --> v1.x
  • Roland Kaminski

    Roland Kaminski - 2014-04-24
    • status: open --> wont-fix
  • Roland Kaminski

    Roland Kaminski - 2014-04-24

    oclingo development is discontinued - please switch to clingo-4


Log in to post a comment.