search

friguzzi / cplint

cplint is a suite of programs for reasoning with probabilistic logic programs
Other
68 stars 13 forks source link

Errors when loading examples #19

Closed Aerate closed 6 years ago

Aerate commented 6 years ago

This is after installing exactly as the readme suggests, no errors have occured there. Running SWI 64bit, v7.6.4: 

?- [coin].
ERROR: /home/alt/lib/swipl/pack/cplint/prolog/pita.pl:1386:25: Syntax error: Operator expected
ERROR: /home/alt/lib/swipl/pack/cplint/prolog/examples/coin.pl:21:
    No permission to modify static procedure `(;)/2'
    Defined at /usr/lib/swi-prolog/boot/init.pl:209
ERROR: /home/alt/lib/swipl/pack/cplint/prolog/examples/coin.pl:24:
    No permission to modify static procedure `(;)/2'
    Defined at /usr/lib/swi-prolog/boot/init.pl:209
ERROR: /home/alt/lib/swipl/pack/cplint/prolog/examples/coin.pl:27:
    No permission to modify static procedure `(;)/2'
    Defined at /usr/lib/swi-prolog/boot/init.pl:209

Apologies in advance if this should be due to my local installation, I have not much knowledge of prolog's ecosystem.

friguzzi commented 6 years ago

You should install version 7.7.18 of SWI-Prolog

Aerate commented 6 years ago

Thank you Fabrizio, it works now.