Index of /0.91/exa/

      Name                                                                             Last modified         Size  Description
   
up Parent Directory                                                                 11-Dec-2013 20:58        -       
directory BinaryDatalog                                                                    11-Dec-2013 20:58        -       
directory Datalog                                                                          09-Feb-2018 20:15        -       
directory Dishornlog                                                                       09-Feb-2018 20:15        -       
directory FOL+                                                                             11-Dec-2013 20:58        -       
directory Folog                                                                            09-Feb-2018 20:15        -       
directory Hornlog                                                                          09-Feb-2018 20:15        -       
directory Hornlogeq                                                                        09-Feb-2018 20:15        -       
directory Nafhornlog                                                                       09-Feb-2018 20:15        -       
directory NegationDatalog                                                                  11-Dec-2013 20:58        -
Proudly Served by LiteSpeed Web Server at ruleml.org Port 80