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