Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for grammar swi prolog
grammar
x
swi-prolog
x
4 search results found
Linearone
⭐
12
LinearOne is a prototype theorem prover for first-order (multiplicative, intuitionistic) linear logic.
Plammar
⭐
8
A Prolog grammar written in Prolog, for parsing and serialising Prolog code.
Grail
⭐
6
Grail is a theorem prover for multimodal type-logical grammars
Buffalo
⭐
6
🐃🌳 English is fun
Related Searches
Python Grammar (771)
Javascript Grammar (681)
Language Grammar (613)
Java Grammar (530)
C Plus Plus Grammar (303)
C Grammar (236)
Testing Grammar (95)
Types Grammar (69)
1-4 of 4 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.