Reading about Web Prolog & it reminds me a lot of the work I did on Mycroft. I wonder: how will routing work here? If fully-qualified predicates have an explicit hostname component, Web Prolog can go fuk.