To prevent spam users, you can only post on this forum after registration, which is by invitation. If you want to post on the forum, please send me a mail (h DOT m DOT w DOT verbeek AT tue DOT nl) and I'll send you an invitation in return for an account.

DecMiner and SCIFF Checker and Prolog

Isabel
edited January 2012 in - Usage
Dear all,

using ProM 5.2 on MacOSX 10.6 I'm not able to use the plugins DecMiner and SCIFF Checker.

Running DecMiner gives: ERROR: Cannot start the prolog engine.
With SCIFF Checker nothing ever happens when I click on the button "Run the logs check!".

However prolog (SWI-pl) seems to be integrated in the ProM.app itself:
/Applications/ProM.app/Contents/Resources/ProMhome/lib/external/swi/macosxi386/bin/swipl
/Applications/ProM.app/Contents/Resources/ProMhome/lib/external/swi/macosxi386/swipl
/Applications/ProM.app/Contents/Resources/ProMhome/lib/external/swi/macosxi386/swipl.rc
[leaving out other platforms existing as well]

I have also installed swipl to the system itself, but that does not help either.
$ swipl --version
SWI-Prolog version 5.10.4 for i386-darwin10.7.0
$

Any ideas? Do the plugins work for other operating systems? :)

Kind regards,
Isabel

Answers

Sign In or Register to comment.