Skip to content

Releases: RuleML/RuleML2TPTP

FOL support

14 Mar 19:01
@edmonl edmonl
v2.0
24767c2
Compare
Choose a tag to compare
FOL support Latest
Latest

Support of FOL expressivity

Assets 4
Loading

Hornlog+ Support

21 Mar 17:15
@edmonl edmonl
v1.1
d95e384
Compare
Choose a tag to compare
Hornlog+ Support

Support of Hornlog+ expressivity

Assets 4
Loading

Datalog+ Support

21 Mar 17:21
@edmonl edmonl
v1.02
9cf3f64
Compare
Choose a tag to compare
Datalog+ Support

Support of Datalog+ expressivity, originally developed on EdmonL/RuleML2TPTP.

Assets 4
Loading