An Inference Engine API, in principle similar to OpenCYC but with configurable logic rules. Applications could use this API to perform reasoning and calculations implementing arbitrary non-Aristotelian rules of logic and metalogic.