lfm0006/FOLParser

A parser for first-order logic

/ 100

Experimental

No commits in the last 6 months.

Stale 6m No Package No Dependents

Maintenance 0 / 25

Adoption 2 / 25

Maturity 9 / 25

Community 0 / 25

Stars

Forks

—

Language

ANTLR

License

Apache-2.0

Category

Last pushed

Apr 30, 2022

Commits (30d)

Get this data via API

curl "https://pt-edge.onrender.com/api/v1/quality/nlp/lfm0006/FOLParser"

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 •...

kovvalsky/LangPro

Tableau-based Theorem Prover for Natural Logic and Language

Attempto/APE

Parser for Attempto Controlled English (ACE)

UnitexGramLab/unitex-core

Unitex/GramLab C++ Core