The term `X+0` is not evaluated correctly. #218

Closed

Closed

The term X+0 is not evaluated correctly.#218

Assignees

Labels

Milestone

For the program

p(a).
q(X+0) :- p(X).

gringo derives q(a). This is a bug.

Metadata

Assignees

rkaminsk

Labels

Type

No type

Projects

No projects

Milestone

v5.5.0

Relationships

None yet

Development

No branches or pull requests