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 39 semantic parsing logic tools tracked. The highest-rated is opencog/link-grammar at 49/100 with 411 stars.

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