Access competitive interest rates on your digital assets.
Generate interest, borrow against your crypto, and trade a range of cryptocurrencies — all in one platform.
Geographic restrictions, eligibility, and terms apply.
Get started with Nexo.
Veeam Data Platform v13.1 - Get Your Free Trial
Secure by design, portable by default. Recover clean, fast, anywhere. Start a free trial.
Try Veeam Data Platform today. Experience the unified platform that's secure by design, portable by default, and proven to recover clean, fast, and anywhere.
DLog is an Description Logic ABox reasoner that uses resolution. The basic idea is that a DL knowledgebase is transformed into a Prolog program without any knowledge on the content of the ABox. The answers are obtained during normal Prolog execution.
A Prolog expert system supporting querying and extending the knowledgebase from a command-line interface using a format oriented on natural language, with the aim of being maintainable by the domain expert (i.e. without requiring programming skills).
PVN evaluates logical formula in a user defined n-valued semantics. Current efforts are aimed at fleshing out the port to GNU\'s prolog environment. Possible uses include embedding into a public domain knowledgebase for a defeasible reasoning system.
The Prolog Expert System Shell (PESS) is a software that generates ES using basically two components: KnowledgeBase, used by the ES to guide its decisions making, and Inference Machine, cable of collection the rules and generating new facts.