Did you know ... Search Documentation:
PublicShow source
Source server(?Type, ?Host) is nondet
Source server(?Type, ?Host, ?HostName) is nondet
Describe known servers and their role. Currently, the only important role is master. Logged in sessions are redirected to the master to simplify keeping one view of the data. In future versions we might go for a more distributed database.

Undocumented predicates

The following predicates are exported, but not or incorrectly documented.

Source server(Arg1, Arg2, Arg3)