Cant get WASP to work with a grounder

[bowesdorp]

Hi,

When I try to use WASP with a grounder (gringo or idlv) it does not seem to work. It says that the output provided by the grounders is "unsupported rule type". I hope someone could help me fix this issue.

Sincerely,

Bo

[alviano]

Hi!

May you provide us an example of input and the command line you use? Also the version of gringo will help.

Thank you!

All the best, m

On Mon, 27 May 2019 at 10:01, bowesdorp notifications@github.com wrote:

Hi,

When I try to use WASP with a grounder (gringo or idlv) it does not seem to work. It says that the output provided by the grounders is "unsupported rule type". I hope someone could help me fix this issue.

Sincerely,

Bo

— You are receiving this because you are subscribed to this thread. Reply to this email directly, view it on GitHub https://github.com/alviano/wasp/issues/5?email_source=notifications&email_token=AA67ZMG6IA3A6MNWET43WOTPXOIOPA5CNFSM4HPZQ2X2YY3PNVWWK3TUL52HS4DFUVEXG43VMWVGG33NNVSW45C7NFSM4GV65GOQ, or mute the thread https://github.com/notifications/unsubscribe-auth/AA67ZMGHMJON5RHVX2XUAGTPXOIOPANCNFSM4HPZQ2XQ .

[alviano]

And maybe try to add

--output=smodels

to the command-line of gringo and idlv.

m

On Mon, 27 May 2019 at 10:05, Mario Alviano mario@alviano.net wrote:

Hi!

May you provide us an example of input and the command line you use? Also the version of gringo will help.

Thank you!

All the best, m

On Mon, 27 May 2019 at 10:01, bowesdorp notifications@github.com wrote:

Hi,

When I try to use WASP with a grounder (gringo or idlv) it does not seem to work. It says that the output provided by the grounders is "unsupported rule type". I hope someone could help me fix this issue.

Sincerely,

Bo

— You are receiving this because you are subscribed to this thread. Reply to this email directly, view it on GitHub https://github.com/alviano/wasp/issues/5?email_source=notifications&email_token=AA67ZMG6IA3A6MNWET43WOTPXOIOPA5CNFSM4HPZQ2X2YY3PNVWWK3TUL52HS4DFUVEXG43VMWVGG33NNVSW45C7NFSM4GV65GOQ, or mute the thread https://github.com/notifications/unsubscribe-auth/AA67ZMGHMJON5RHVX2XUAGTPXOIOPANCNFSM4HPZQ2XQ .

[bowesdorp]

So when i use idlv, i use : $ ./dlv.x86-64-linux-elf-static.bin ~/Desktop/test.lp | ~/Desktop/alviano-wasp-2c1bda3/build/release/wasp and with gringo: $ gringo ~Destop/test.lp | ~/Desktop/alviano-wasp-2c1bda3/build/release/wasp My version of gringo is 5.3.0

Op ma 27 mei 2019 om 10:07 schreef Mario Alviano notifications@github.com:

And maybe try to add

--output=smodels

to the command-line of gringo and idlv.

m

On Mon, 27 May 2019 at 10:05, Mario Alviano mario@alviano.net wrote:

Hi!

May you provide us an example of input and the command line you use? Also the version of gringo will help.

Thank you!

All the best, m

On Mon, 27 May 2019 at 10:01, bowesdorp notifications@github.com wrote:

Hi,

When I try to use WASP with a grounder (gringo or idlv) it does not seem to work. It says that the output provided by the grounders is "unsupported rule type". I hope someone could help me fix this issue.

Sincerely,

Bo

— You are receiving this because you are subscribed to this thread. Reply to this email directly, view it on GitHub < https://github.com/alviano/wasp/issues/5?email_source=notifications&email_token=AA67ZMG6IA3A6MNWET43WOTPXOIOPA5CNFSM4HPZQ2X2YY3PNVWWK3TUL52HS4DFUVEXG43VMWVGG33NNVSW45C7NFSM4GV65GOQ , or mute the thread < https://github.com/notifications/unsubscribe-auth/AA67ZMGHMJON5RHVX2XUAGTPXOIOPANCNFSM4HPZQ2XQ

.

— You are receiving this because you authored the thread. Reply to this email directly, view it on GitHub https://github.com/alviano/wasp/issues/5?email_source=notifications&email_token=ALRKY2ELKLDCQW35QXIMFMTPXOJF5A5CNFSM4HPZQ2X2YY3PNVWWK3TUL52HS4DFVREXG43VMVBW63LNMVXHJKTDN5WW2ZLOORPWSZGODWJDJPI#issuecomment-496121021, or mute the thread https://github.com/notifications/unsubscribe-auth/ALRKY2D3IBRYNLQ7CEKB7IDPXOJF5ANCNFSM4HPZQ2XQ .

[dodaro]

Hi Bo,

try gringo ~/Desktop/test.lp --output=smodels | ~/Desktop/alviano-wasp-2c1bda3/build/release/wasp

Concerning dlv.x86-64-linux-elf-static.bin, it seems a binary of DLV, whose output is not parsable by wasp. Note that i-DLV is available here: https://github.com/DeMaCS-UNICAL/I-DLV/releases

Best, Carmine

[bowesdorp]

thanks, that fixed the problem.

I have another question, is there a way to store the statistics of the solver locally?

Sincerely, Bo

Op ma 27 mei 2019 om 10:20 schreef dodaro notifications@github.com:

Hi Bo,

try gringo ~/Desktop/test.lp --output=smodels | ~/Desktop/alviano-wasp-2c1bda3/build/release/wasp

Concerning dlv.x86-64-linux-elf-static.bin, it seems a binary of DLV, whose output is not parsable by wasp. Note that i-DLV is available here: https://github.com/DeMaCS-UNICAL/I-DLV/releases

Best, Carmine

— You are receiving this because you authored the thread. Reply to this email directly, view it on GitHub https://github.com/alviano/wasp/issues/5?email_source=notifications&email_token=ALRKY2FGULCDIIGXLOKYBDLPXOKWJA5CNFSM4HPZQ2X2YY3PNVWWK3TUL52HS4DFVREXG43VMVBW63LNMVXHJKTDN5WW2ZLOORPWSZGODWJEJKQ#issuecomment-496125098, or mute the thread https://github.com/notifications/unsubscribe-auth/ALRKY2GYVF5UNK4I2BKVCT3PXOKWJANCNFSM4HPZQ2XQ .

[dodaro]

The only way is to use the option --stats and redirect the standard error to a file:

gringo ~/Desktop/test.lp --output=smodels | ~/Desktop/alviano-wasp-2c1bda3/build/release/wasp --stats=2 2> yourfile.txt