GitHub / logicmoo / MUD_DB_LeanCOR
A description logic reasoner written in prolog based on leanCoP, a theorem prover for first-order logic
JSON API: http://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/logicmoo%2FMUD_DB_LeanCOR
Fork of adrianomelo/leancor
Stars: 2
Forks: 0
Open issues: 0
License: None
Language: Prolog
Size: 565 KB
Dependencies parsed at: Pending
Created at: over 10 years ago
Updated at: about 1 year ago
Pushed at: over 10 years ago
Last synced at: about 1 year ago
Funding Links https://github.com/sponsors/logicmoo
Loading...