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.
Try it Free
MongoDB Atlas runs apps anywhere
Deploy in 115+ regions with the modern database for every enterprise.
MongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.
This is a suite of mathematical software solvers GUI
This is a suite of mathematical software solvers interface on DLV and other command-line solvers. It helps researchers and students to better comprehend their declarative definitions published on papers. The user can have links to the related papers and to the software of the corresponding definitions.
Xcerpt is a Query and Transformation Language for XML and Semistructured data. Instead of the navigational approach of XPath-based languages like XSLT or XQuery, Xcerpt uses patterns for querying and is based on concepts of logicprogramming like unifica
A declarative logicprogramming system with first-class relations
embedded in a pure functional subset of Scheme. The system has true
unions, fair scheduling, lexically-scoped logical variables,
set-theoretical semantics, high performance without cuts
ARMR provides a foundation for creating an efficient in-memory database. Its unique list processing structures simplify programminglogic and allow the developer to rapidly sort, group, and select data. Give your app a hypercard like capability.
A knowledge base engine for Python built on F-Logic. It uses the FLORA-2 reasoning engine and provides permanent storage through ZODB. Logicprogramming concepts like logical variables, facts, rules and queries are included.