#

categorial-grammar

Here are 3 public repositories matching this topic...

RichardMoot / Grail

Grail is a theorem prover for multimodal type-logical grammars

parser logic-programming swi-prolog theorem-prover categorial-grammar proof-net

Updated Feb 11, 2021
Prolog

RichardMoot / GrailLight

Light-weight chart parser for multimodal type-logical grammars

parser natural-language-processing parsing logic-programming natural-language-understanding categorial-grammar chart-parser logical-grammars

Updated Dec 16, 2024
Prolog

RichardMoot / Grail2

Grail 2 theorem prover in SICStus Prolog with TclTk user interface

parser tcltk theorem-proving logic-programming sicstus-prolog categorial-grammar linear-logic

Updated Jan 22, 2020
Prolog

Improve this page

Add a description, image, and links to the categorial-grammar topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the categorial-grammar topic, visit your repo's landing page and select "manage topics."