forked from edmonl/RuleML2TPTP
-
Notifications
You must be signed in to change notification settings - Fork 1
-
FOL expressivity
No due date Last updated about 10 years agoThe FOL elements for the TPTP language are supported.
-
Hornlog expressivity
No due date Last updated about 10 years agoThe Hornlog elements and are supported.