DION requires the SWI-Prolog (version 5.4.x, or higher) library.

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

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

  • Launch the DION server
    Click on the corresponding server program with a goal like:
    :- http_server(dig_server,[port(8004)]).

    The default port of the DION server is '8004'. The default port of the external DL reasoner is '8000'. The default host of the DIG server and the external DL reasoner is 'localhost'. If you want to use another host or port, change the corresponding settings in your Prolog code and/or the POST actions in this html file 'dionmain.htm'.