Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

error with show statement and non-domain atoms #24

Open
nrueh opened this issue May 17, 2024 · 0 comments
Open

error with show statement and non-domain atoms #24

nrueh opened this issue May 17, 2024 · 0 comments

Comments

@nrueh
Copy link

nrueh commented May 17, 2024

The following program gives an error

a(x).
{b(x)}.

&in{1..1} =: X :- a(X), b(X).

&show { X : b(X) }.

Replacing the show statement as follows works fine

&show { X : a(X) }.

Error message:

fclingo version 0.1
Reading from test.lp
Traceback (most recent call last):
  File "/Users/nicolasruhling/.pyenv/versions/miniconda3-3.12-24.1.2-0/envs/coom/lib/python3.12/site-packages/clingo/application.py", line 362, in _pyclingo_application_main
    app.main(Control(control), [_to_str(files[i]) for i in range(size)])
  File "/Users/nicolasruhling/.pyenv/versions/miniconda3-3.12-24.1.2-0/envs/coom/lib/python3.12/site-packages/fclingo/__main__.py", line 170, in main
    control.solve(on_model=self.on_model, on_statistics=self._theory.on_statistics)
  File "/Users/nicolasruhling/.pyenv/versions/miniconda3-3.12-24.1.2-0/envs/coom/lib/python3.12/site-packages/clingo/control.py", line 848, in solve
    _c_call(
  File "/Users/nicolasruhling/.pyenv/versions/miniconda3-3.12-24.1.2-0/envs/coom/lib/python3.12/site-packages/clingo/_internal.py", line 44, in _c_call
    _handle_error(c_fun(*args, p_ret), handler)
  File "/Users/nicolasruhling/.pyenv/versions/miniconda3-3.12-24.1.2-0/envs/coom/lib/python3.12/site-packages/clingo/_internal.py", line 75, in _handle_error
    raise RuntimeError(msg)
RuntimeError: Invalid Syntax: invalid show statement
*** ERROR: (fclingo): Invalid Syntax: invalid show statement
UNKNOWN

Models       : 0+
Calls        : 1
Time         : 0.014s (Solving: 0.00s 1st Model: 0.00s Unsat: 0.00s)
CPU Time     : 0.011s
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

1 participant