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
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.

Howdy, Stranger!

It looks like you're new here. If you want to get involved, click one of these buttons!

Sign In Register

Categories

In this Discussion