PION (version 2.0.0) requires the SWI-Prolog (version 5.6.0 or higher).

Before starting the PION test, make sure that the PION server and the external DIG reasoner are running. You can do the following:

  • Launch the External DL reasoner Racer
    The DL reasoner Racer can be launched for the default port '8000' by the following command line:
    racer -http 8000

  • Launch the PION server
    Click on pion_server.pl to launch the PION server. If you encounter the global stack limit problem because of a big amount of telldata, you should increase the size of the global stack. The windows users can edit the path setting of 'plwin.exe' in the file pionserver_bigGlobalStack.bat and launch it.

    The default port of the PION server port is '8001'. The default port of the external DIG reasoner is '8000'. The default hosts of the PION server and the external DIG reasoner are 'localhost'. If you want to use other hosts and ports, change the corresponding setting in Prolog and/or the POST actions in the html file 'pionmain2.htm'.