get_tartarus_details(IP,Port). % The predicate provides details of the IP and Port of the Tartarus platform. IP: <atom ->, Port: <integer -> 

It gives the IP and Port number of the platform set using start_tartarus/2. The predicate comes handy when an agent or program requires knowing the details of the platform where it is executing.

?- get_tartarus_details(Platform_IP, Platform_Port). 

The output will be as follows:

Platform_IP = localhost, Platform_Port = 6000. 

Here, we will the get IP address and Port number of that specific platform in Platform_IP and Platform_Port respectively.