Computer software which acts as a distributed inference engine, performing arbitrary tasks according to instructions produced by logical deduction in a federated knowledge base - For use as supporting infrastructure for all kinds of computer software