sdcondon/SCFirstOrderLogic
Simple first-order logic implementation for .NET.
This is a simple first-order logic implementation that helps .NET developers integrate fundamental symbolic AI capabilities into their applications. It takes logical statements and rules as input, allowing developers to represent and reason about knowledge within their programs. This is primarily for .NET developers building systems that require basic logical inference or knowledge representation.
Use this if you are a .NET developer needing to incorporate basic first-order logic parsing and representation into an application.
Not ideal if you need a full-fledged, production-ready AI inference engine or a Bayesian inference system.
Stars
7
Forks
—
Language
C#
License
MIT
Category
Last pushed
Feb 18, 2026
Commits (30d)
0
Get this data via API
curl "https://pt-edge.onrender.com/api/v1/quality/ml-frameworks/sdcondon/SCFirstOrderLogic"
Open to everyone — 100 requests/day, no key needed. Get a free key for 1,000/day.
Higher-rated alternatives
yuce/pyswip
PySwip is a Python-Prolog interface that enables querying SWI-Prolog in your Python programs.
lab-v2/pyreason
An explainable inference software supporting annotated, real valued, graph based and temporal logic
TweetyProjectTeam/TweetyProject
TweetyProject is a collection of Java libraries that implement approaches to different areas of...
pushkar/ABAGAIL
The library contains a number of interconnected Java packages that implement machine learning...
amrinderarora/ai
Classical AI algorithms. Cutting edge, since 1960s. Amrinder Arora