L-I-M-I-T/AI_Horn

基于前向连接的子句归结方法，结合迭代加深的子句长度受限搜索，构建简易推理系统。

/ 100

Experimental

No commits in the last 6 months.

No License Stale 6m No Package No Dependents

Maintenance 0 / 25

Adoption 4 / 25

Maturity 8 / 25

Community 0 / 25

Stars

Forks

—

Language

C++

License

—

Category

Last pushed

Sep 08, 2021

Commits (30d)

Get this data via API

curl "https://pt-edge.onrender.com/api/v1/quality/ml-frameworks/L-I-M-I-T/AI_Horn"

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