graph.lp:2:1-5: error: syntax error, unexpected <IDENTIFIER>

potassco / clingo

🤔 A grounder and solver for logic programs.

https://potassco.org/clingo

MIT License

589 stars 79 forks source link

graph.lp:2:1-5: error: syntax error, unexpected <IDENTIFIER> #500

Closed aymeric75 closed 1 month ago

aymeric75 commented 1 month ago

Hello,

With this command:

clingo -t 6 --sat-prepro=2 --time-limit=7200 file.lp graph.lp file.txt

and graph.lp attached and starting with


node(1,1)
node(1,2)
node(1,3)
node(1,4)
node(1,5)
node(1,6)

I get:

clingo version 5.7.1
Reading from file.lp ...
graph.lp:2:1-5: error: syntax error, unexpected <IDENTIFIER>

*** ERROR: (clingo): parsing failed
UNKNOWN

Any idea why ?

Thanks

graph.txt

aymeric75 commented 1 month ago

file.txt

ejgroene commented 1 month ago

perhaps you forgot the end each fact with a . (dot)? On Monday, 10 June 2024 at 17:15, aymeric75 @.***> wrote:

file.txt

— Reply to this email directly, view it on GitHub, or unsubscribe. You are receiving this because you are subscribed to this thread.Message ID: @.***>

aymeric75 commented 1 month ago

exactly thanks a lot !