search

bramucas / xclingo2

A tool for explainability and debugging in Answer Set Programming.
MIT License
13 stars 5 forks source link

Syntax error on examples #15

Open Liquid-Aristocracy opened 1 month ago

Liquid-Aristocracy commented 1 month ago

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 commented 1 month ago

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 commented 1 month ago

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.