PrototypeCommon
kovvalsky/LangPro
Tableau-based Theorem Prover for Natural Logic and Language
- Owner
- kovvalsky (personal account)
- Stars
- Stars: 122
- Forks
- Forks: 13
- Language
- Prolog
- License
- BSD-3-Clause
- Created
- 2017
- Topics
- nlinatural-language-inferencesemantic-tableautheorem-provertheorem-provingnatural-logicnatural-tableaulambda-logical-formnatural-language-processingformal-semantics
- Tier
- Prototype (100 to 249 ★) What this tier means
Nearby in Prolog
All Prolog repos- openpst/openpstStars: 133PrologPrototype
- motools/musicontologyStars: 132PrologPrototype
- jamesnvc/lsp_serverStars: 130PrologPrototype
- JCumin/BrachylogStars: 118PrologPrototype
- Anniepoo/swiplwebtutStars: 117PrologPrototype
- vangelisv/theaStars: 114PrologPrototype