Semantic Parsing Logic NLP Tools

Tools for parsing natural language into formal logical representations (FOL, lambda calculus, etc.) and grammar-based semantic interpretation. Includes controlled language parsers and grammar induction systems. Does NOT include general dependency/syntactic parsing, machine translation, or knowledge graph construction from unstructured text.

There are 37 semantic parsing logic tools tracked. 2 score above 50 (established tier). The highest-rated is opencog/link-grammar at 56/100 with 411 stars.

Get all 37 projects as JSON

curl "https://pt-edge.onrender.com/api/v1/datasets/quality?domain=nlp&subcategory=semantic-parsing-logic&limit=20"

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

#	Tool	Score	Tier	Stars	Language
1	opencog/link-grammar The CMU Link Grammar natural language parser	56	Established	411	C
2	mafait/Thinknowlogy Automated reasoning based on the Laws of Intelligence naturally embedded in...	51	Established	25	C++
3	kovvalsky/LangPro Tableau-based Theorem Prover for Natural Logic and Language	45	Emerging	120	Prolog
4	Attempto/APE Parser for Attempto Controlled English (ACE)	43	Emerging	211	Prolog
5	UnitexGramLab/unitex-core Unitex/GramLab C++ Core	42	Emerging	22	C++
6	delph-in/docs DELPH-IN Documentation	40	Emerging	30	HTML
7	asaparov/PWL Natural language understanding by probabilistic abduction of a symbolic...	39	Emerging	17	C++
8	sztal/segram A framework for semantic grammar and narrative analysis.	39	Emerging	6	Python
9	cbaziotis/prolog-cfg-parser A toy SWI-Prolog context-free grammar (CFG) parser, that extracts knowledge...	37	Emerging	21	Prolog
10	hltcoe/concrete Thrift definitions, making HLT data specifications concrete	37	Emerging	16	Thrift
11	asaparov/parser Semantic parser induction using a generative model of grammar.	35	Emerging	30	C++
12	cristianochesi/e-MGs Expectation-based Minimalist Grammars	33	Emerging	6	Python
13	asaparov/grammar Implementation of generative semantic grammar.	31	Emerging	17	C++
14	lil-lab/nccg Neural Shift Reduce Parser for CCG Semantic Parsing (Misra and Artzi, EMNLP 2016)	31	Emerging	17	Java
15	baladon-lucas-pardinas/SyntaxGrammar-es-gn Rule-based machine translation system between Spanish and Guarani, based on...	30	Emerging	5	Python
16	danieelst/english2logic Parsing English text with Stanza and interpreting as first-order logic...	29	Experimental	1	Haskell
17	dcavar/schemeNLP Scheme code for computational linguistics, natural language processing,...	29	Experimental	7	Scheme
18	jkkummerfeld/1ec-graph-parser A range of tools related to one-endpoint crossing graphs - parsing, format...	28	Experimental	11	Scala
19	Sintrastes/Montague A library for non-deterministically parsing natural language expressions...	27	Experimental	18	Haskell
20	onlyuser/NatLang NatLang is an English parser with an extensible grammar	25	Experimental	22	C++
21	zentrum-lexikographie/gdex GDEX – Good Dictionary Examples – Rule-based Sentence Scoring Algorithm	25	Experimental	3	Python
22	SnorriDev/thoth A natural-language puzzle game with hieroglyphic spells.	24	Experimental	12	Java
23	eignnx/prolog-cfg A parser for a very simple subset of English.	24	Experimental	4	Prolog
24	r0ller/alice A Language Interpreter as semantiC Experiment in natural language processing	23	Experimental	9	C++
25	LR-POR/tutorial Example grammars and additional materials from a tutorial on using the LinGO...	22	Experimental	2	PostScript
26	tambercore/mud 📦 Natural Language Theorem Prover built on Dependent Type Theory (Agda) and...	22	Experimental	7	Rust
27	onlyuser/parse-english parse-english is a minimum viable English parser implemented in LexYacc	20	Experimental	11	C++
28	masashi-y/depccg.ml Another A* CCG parser written in OCaml	20	Experimental	5	Java
29	simonharris/safecracker Prolog, Vue.js and Python/FastAPI application to solve the "Safe Cracker"...	19	Experimental	—	Prolog
30	indurks/mgsmt A parser for minimalist grammars that uses the Z3 SMT-solver.	19	Experimental	4	Python
31	abalvet/DCG-generator A simple sentence generator based on the Definite Clause Grammar formalism,...	19	Experimental	—	Prolog
32	lfm0006/FOLParser A parser for first-order logic	18	Experimental	2	ANTLR
33	sdadas/grammatik Grammar based language generation for NLP	17	Experimental	1	Java
34	ChocolateMagnate/sparkle Natural language processing framework aimed to understand and generate NLs...	17	Experimental	1	C++
35	langit-mt/lang_it small rule-based machine translation engine, C++ STL only.	14	Experimental	—	C++
36	AndyFerns/Automated-Reasoning-Project A project aiming to implement Automated Reasoning in First Order Logic using NLP	12	Experimental	2	Python
37	parajain/twig Template-based natural language generation library.	11	Experimental	4	Java

Comparisons in this category

parser and grammar (35 vs 31)