-
Notifications
You must be signed in to change notification settings - Fork 7
set_log_server
Tushar Semwal edited this page Oct 15, 2017
·
1 revision
set_log_server( IP , Port) % Sets the IP and Port number of the log server. %
IP: <atom+> Port: <atom +>
This predicate is used for setting the IP address and Port number of a log server. The IP and Port address of the log server are asserted on the platform where this predicate is invoked so that all agents within this platform can use this information to send messages to the log server using send_log/2.
?- set_log_server (localhost, 6666).