Skip to content

Releases: RuleML/RuleML2TPTP

Release list

FOL support

FOL support Latest
Latest

Choose a tag to compare

View all tags
@edmonl edmonl released this 14 Mar 19:01
v2.0
24767c2

Support of FOL expressivity

Assets 4
Loading

Hornlog+ Support

Hornlog+ Support

Choose a tag to compare

View all tags
@edmonl edmonl released this 21 Mar 17:15
v1.1
d95e384

Support of Hornlog+ expressivity

Loading

Datalog+ Support

Datalog+ Support

Choose a tag to compare

View all tags
@edmonl edmonl released this 21 Mar 17:21
v1.02
9cf3f64

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

Loading