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