You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
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
The text was updated successfully, but these errors were encountered:
The following program gives an error
Replacing the show statement as follows works fine
Error message:
The text was updated successfully, but these errors were encountered: