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