Search Results for "deductive"
Sort By:
Showing 4 open source projects for "deductive"
View related business solutions-
Our Free Plans just got better! | Auth0You 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.
-
Earn up to 16% annual interest with Nexo.Generate interest, borrow against your crypto, and trade a range of cryptocurrencies — all in one platform. Geographic restrictions, eligibility, and terms apply.
-
1
Logic Programming and Deductive Database system (Tabled Prolog) for Unix, Mac, and Windows.
-
2
OO jDREW is an open source deductive reasoning engine for the RuleML web rule language. OO jDREW implements the object oriented extensions to RuleML which include: Order Sorted Types, Slots, and Object identifiers.
-
3
jDREW (Java Deductive Reasoning Engine for the Web) is a highly configurable reasoning engine written in Java for definite clause reasoning. Through its diverse APIs, jDREW can be easily embedded into a larger Java system.
-
4
Cigol (logic, spelled backwards) is a deductive logic solver. It can be embedded inside a parent program or used from the command line. It has absolutely no relationship to Tom Mitchell's book on Machine Learning.
-
Go From AI Idea to AI App FastAccess Gemini 3 and 200+ models. Build chatbots, agents, or custom models with built-in monitoring and scaling.
- Previous
- You're on page 1
- Next
