| Did you know ... | Search Documentation: |
 | parms.pl |
- HOME
- DOWNLOAD
- DOCUMENTATION
- TUTORIALS
- Beginner▶
- Advanced▶
- Web applications▶
- Semantic web▶
- Graphics▶
- Machine learning▶
- External collections▶
- For packagers▶
- COMMUNITY
- COMMERCIAL
- WIKI
- 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.