Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for prolog theorem prover
prolog
x
theorem-prover
x
4 search results found
Langpro
⭐
97
Tableau-based Theorem Prover for Natural Logic and Language
Egglog0
⭐
65
Datalog + Egg = Good
Typesandproofs
⭐
28
Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems
Grail
⭐
6
Grail is a theorem prover for multimodal type-logical grammars
Related Searches
Python Prolog (142)
Prolog Logic Programming (125)
Language Prolog (124)
Java Prolog (114)
Programming Prolog (110)
C Prolog (104)
Javascript Prolog (88)
Lisp Prolog (66)
Haskell Prolog (66)
C Plus Plus Prolog (56)
1-4 of 4 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.