Skip to content

Syntax error on examples #15

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

Open
Liquid-Aristocracy opened this issue Sep 30, 2024 · 4 comments
Open

Syntax error on examples #15

Liquid-Aristocracy opened this issue Sep 30, 2024 · 4 comments
Assignees

Comments

@Liquid-Aristocracy
Copy link

Running xclingo on dont_drive_drunk.lp gives syntax error:

xclingo version 2.0b17
Reading from dont_drive_drunk.lp
<string>:11:1-7: error: syntax error, unexpected <IDENTIFIER>, expecting . or :-

<string>:14:1-7: error: syntax error, unexpected <IDENTIFIER>, expecting . or :-

<string>:17:1-9: error: syntax error, unexpected <IDENTIFIER>, expecting . or :-

<string>:20:1-9: error: syntax error, unexpected <IDENTIFIER>, expecting . or :-

<string>:22:39-46: error: syntax error, unexpected <IDENTIFIER>, expecting . or :-

<string>:23:26-33: error: syntax error, unexpected <IDENTIFIER>, expecting . or :-

<string>:25:13-21: error: syntax error, unexpected <IDENTIFIER>, expecting . or :-

*** ERROR: (xclingo, explainer program) syntax error

My clingo -v result:

clingo version 5.4.1
Address model: 64-bit

libclingo version 5.4.1
Configuration: with Python 3.10.2, with Lua 5.4.3

libclasp version 3.3.5 (libpotassco version 1.1.0)
Configuration: WITH_THREADS=1
Copyright (C) Benjamin Kaufmann

License: The MIT License <https://opensource.org/licenses/MIT>
@bramucas
Copy link
Owner

Hi! Should work fine with clingo5.5.

Installing with pip should install the correct clingo version. How did you install? Is it possible that xclingo is trying to use your local (5.4) clingo installation instead of the python package?

@Liquid-Aristocracy
Copy link
Author

Hmm, I installed with pip. That clingo is indeed installed with the gringo deb package, but after I removed gringo and reinstalled xclingo, I still have the same error.

On a side note, my friend has the same issue and they have clingo 5.7.1.

@pudumagico
Copy link

Any updates on this?

I have clingo 5.5.2 from conda and still gives the error:

Reading from dont_drive_drunk.lp
:11:1-7: error: syntax error, unexpected , expecting . or :-

:14:1-7: error: syntax error, unexpected , expecting . or :-

:17:1-9: error: syntax error, unexpected , expecting . or :-

:20:1-9: error: syntax error, unexpected , expecting . or :-

:22:39-46: error: syntax error, unexpected , expecting . or :-

:23:26-33: error: syntax error, unexpected , expecting . or :-

:25:13-21: error: syntax error, unexpected , expecting . or :-

@Talu96
Copy link

Talu96 commented Mar 6, 2025

Hi, I am getting the same issue with clingo 5.5.0, 5.5.1 and 5.5.2.
Which is the correct one?

@bramucas bramucas self-assigned this Mar 25, 2025
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

When branches are created from issues, their pull requests are automatically linked.

4 participants