Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Grail

Grail is a theorem prover for multimodal type-logical grammars
Stars
6
License
lgpl-2.1
Open Issues
0
Most Recent Commit
3 years ago
Programming Language
Prolog
Categories
Site
Repo
Suggest An Alternative To Grail
Related Searches
Prolog Logic Programming
Grammar Prolog
Logic Programming Swi Prolog
Grammar Logic Programming
Grammar Swi Prolog
Prolog Theorem Prover
Grammar Proof Net
Categorial Grammar Proof Net

Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Grammar
Prolog
Logic Programming
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2024 Awesome Open Source.  All rights reserved.