Search Results for "deductive"
Sort By:
Showing 5 open source projects for "deductive"
View related business solutions-
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.
-
Custom VMs From 1 to 96 vCPUs With 99.95% UptimeLive migration and automatic failover keep workloads online through maintenance. One free e2-micro VM every month.
-
1
Logic Programming and Deductive Database system (Tabled Prolog) for Unix, Mac, and Windows.
-
2
Yadlr
Yadlr toolset for many-valued inference
Yadlr is a toolset for many-valued inference, both deductive and inductive. It features a fuzzy reasoner, using CLP(Q,R) to implement fuzzy algebra on top of a resolution-based back-end. It also features Prodlr, an ILP system targeted at learning Description Logics and threaded-variable theories, like DCGs. -
3
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.
-
4
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.
-
Try Google Cloud Risk-Free With $300 in CreditUse your credit across every product. Compute, storage, AI, analytics. When it runs out, 20+ products stay free. You only pay when you choose to.
-
5
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.
- Previous
- You're on page 1
- Next
