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

  • Installation of the Prolog DIG DL Interface Support
    Unzip the Prolog package diglibrary.zip into the directory of the SWI-Prolog (version 5.2.x, or higher) library.
  • 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 Prolog DIG server
    Click on the corresponding Prolog server program with a goal like:
    :- dig_server_port(Port), http_server(dig_server,[port(Port)]).

    The default port of the DIG server is '8001'. 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 'digmain.htm'.