Protect your business with AI policies and data loss prevention in the browser
Make AI work your way with Chrome Enterprise. Block unapproved sites and set custom data controls that align with your company's policies.
Download Chrome
Our Free Plans just got better! | Auth0
With up to 25k MAUs and unlimited Okta connections, our Free Plan lets you focus on what you do best—building great apps.
You asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your security. Auth0 now, thank yourself later.
A Database System for Metamodeling and Method Engineering
ConceptBase.cc is a multi-user deductive and object-oriented database system for metamodeling and method engineering. Includes a graphical client that builds upon the logic-based features of the ConceptBase.cc server. The data model is O-Telos.
ConceptBase.cc can represent information at the data level (example data, traces of process executions etc.), the class level (schemas, process definitions etc.), the metaclass level (constructs of modeling languages), the meta-metaclass level...
Flora-2 is a powerful knowledge representation and reasoning system designed for building knowledge-intensive applications. It is based on F-logic, HiLog, Transaction Logic, and also supports defeasible reasoning. Applications include intelligent agents, Semantic Web, ontology management, and more.
If you use Flora-2 and like it, please acknowledge it in your project!
Cedalion is a programming language that allows its users to add new abstractions and define (and use) internal DSLs. Its innovation is in the fact that it uses projectional editing to allow the new abstractions to have no syntactic limitations.
It's a modern take on desktop management that can be scaled as per organizational needs.
Desktop Central is a unified endpoint management (UEM) solution that helps in managing servers, laptops, desktops, smartphones, and tablets from a central location.
ReSpecT (Reaction Specification Tuples) is a logic-based language for distributed system coordination. ReSpecT is based on a coordination model exploiting tuple centres as first-class, general-purpose coordination media.
The Generic Eclipse Modeling System is an MDD tool for Eclipse that allows for the rapid development of GEF modeling plugins. In GEMS, developers specify rules for a domain language using a metamodel and the tool generates a plugin for the specification
Multiplatform (MUltiple Language / Target Integration PLATform FOR Modules) implements a unified integration platform for multiple modules written in multiple languages (C, C++, Prolog, Java) and multiple target platforms (GNU/Linux, Solaris, Windows).
A group of systems for building network-oriented intelligent agents, consisting an agent communications infrastructure, April - an agent construction programming language, Go! - a logic programming language and DialoX - an XML-based user interface engine
For B2B sales and marketing teams seeking a tool to identify and engage high-intent website visitors
Identity Matrix transforms anonymous website traffic into detailed visitor profiles with impressive accuracy, offering valuable insights for businesses to enhance marketing and sales strategies. For companies serious about capitalizing on every website visitor, this platform is second to none.
Learn basic constraint logic programming by solving logic word puzzles. Go to http://eclipse.dougedmunds.com . This tutorial will show you how to solve easy 1 star to hard 5 star puzzles, using the eCLiPSe-CLP language (available at http://eclipseclp.org/).
Don't confuse this programming language (a prolog language) with the IDE for Java.