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.
Try free now
Free and Open Source HR Software
OrangeHRM provides a world-class HRIS experience and offers everything you and your team need to be that HR hero you know that you are.
Give your HR team the tools they need to streamline administrative tasks, support employees, and make informed decisions with the OrangeHRM free and open source HR software.
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.
Full access to Enterprise features. No credit card required.
What if You Could Automate 90% of Your Repetitive Tasks in Under 30 Days? At ServoDesk, we help businesses like yours automate operations with AI, allowing you to cut service times in half and increase productivity by 25% - without hiring more staff.
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.