potassco / clasp

⚙️ A conflict-driven nogood learning answer set solver

Home Page:https://potassco.org/clasp/

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Parse error in line 1:1: '%': unrecognized input format

artemsokhin-a4bee opened this issue · comments

Prerequisites:

System: 22.04 Ubuntu x86_64

Description:

Having an issue with clasp, built using the following commands

cmake -H. -Btest
sudo cmake --build test --target install

When I try executing clasp with the command

./clasp file.asp

it fails with an error

*** ERROR: (clasp): parse error in line 1:1: '%': unrecognized input format

If I remove parts with "%" it still fails with the same error, pointing to the first symbol in the file.
E.g. if the file is:

innocent(Suspect) :- motive(Suspect), not guilty(Suspect).

The execution fails with

*** ERROR: (clasp): parse error in line 1:1: 'i': unrecognized input format

Tried executing with cat and pipe - still got the same error.

It looks like you want to use clingo and not clasp:

It looks like you want to use clingo and not clasp:

Thanks, clingo worked for me