server(?Type, ?Host) is nondet

 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.

Re-exported predicates

The following predicates are exported from this file while their implementation is defined in imported modules or non-module files loaded by this module.

 server(?Type, ?Host) is nondet

 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.