kovvalsky/LangPro

Tableau-based Theorem Prover for Natural Logic and Language

/ 100

Emerging

120 stars.

No Package No Dependents

Maintenance 6 / 25

Adoption 10 / 25

Maturity 9 / 25

Community 13 / 25

Stars

120

Forks

Language

Prolog

License

BSD-3-Clause

Category

Last pushed

Nov 14, 2025

Commits (30d)

Get this data via API

curl "https://pt-edge.onrender.com/api/v1/quality/nlp/kovvalsky/LangPro"

Open to everyone — 100 requests/day, no key needed. Get a free key for 1,000/day.

Higher-rated alternatives

opencog/link-grammar

The CMU Link Grammar natural language parser

mafait/Thinknowlogy

Automated reasoning based on the Laws of Intelligence naturally embedded in the human language •...

Attempto/APE

Parser for Attempto Controlled English (ACE)

UnitexGramLab/unitex-core

Unitex/GramLab C++ Core

sztal/segram

A framework for semantic grammar and narrative analysis.