kovvalsky/LangPro
Tableau-based Theorem Prover for Natural Logic and Language
This tool helps researchers in computational linguistics or natural language processing determine the logical relationship between natural language sentences. You input a set of premises and a hypothesis, and it tells you if the hypothesis is entailed (yes), contradicted (no), or neutral (unknown) relative to the premises. It's designed for academics and NLP practitioners studying semantic inference and natural logic.
120 stars.
Use this if you need to formally analyze the semantic relationship between statements in natural language, specifically to check for entailment, contradiction, or neutrality.
Not ideal if you're looking for a general-purpose natural language understanding tool for tasks like sentiment analysis, question answering, or text summarization.
Stars
120
Forks
13
Language
Prolog
License
BSD-3-Clause
Category
Last pushed
Nov 14, 2025
Commits (30d)
0
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
delph-in/docs
DELPH-IN Documentation