PrototypeCommune
kovvalsky/LangPro
Tableau-based Theorem Prover for Natural Logic and Language
- Propriétaire
- kovvalsky (compte personnel)
- Étoiles
- Étoiles : 122
- Forks
- Forks : 13
- Langage
- Prolog
- Licence
- BSD-3-Clause
- Création
- 2017
- Sujets
- nlinatural-language-inferencesemantic-tableautheorem-provertheorem-provingnatural-logicnatural-tableaulambda-logical-formnatural-language-processingformal-semantics
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
D’autres dépôts Prolog
Tous les dépôts Prolog- openpst/openpstÉtoiles : 133PrologPrototype
- motools/musicontologyÉtoiles : 132PrologPrototype
- jamesnvc/lsp_serverÉtoiles : 130PrologPrototype
- JCumin/BrachylogÉtoiles : 118PrologPrototype
- Anniepoo/swiplwebtutÉtoiles : 117PrologPrototype
- vangelisv/theaÉtoiles : 114PrologPrototype