Index of /0.89/exa

 Name                           Last modified      Size  Description
 Parent Directory                                    -   
 appendix1a.ruleml              25-May-2005 15:42  1.2K  
 appendix1b.ruleml              25-May-2005 15:42  1.3K  
 appendix2b.ruleml              25-May-2005 15:42  483   
 authenticate.ruleml            25-May-2005 15:42  1.7K  
 bindatagroundfact.ruleml       25-May-2005 15:42  1.1K  
 bindatagroundlog.ruleml        25-May-2005 15:42  1.5K  
 bindatalog.ruleml              25-May-2005 15:42  1.6K  
 book.ruleml                    25-May-2005 15:42  603   
 bookplex.ruleml                25-May-2005 15:42  565   
 broker.ruleml                  25-May-2005 15:42  1.3K  
 constraint.ruleml              27-Jun-2005 10:59  1.3K  
 creator.ruleml                 25-May-2005 15:42  1.3K  
 datalog.ruleml                 27-May-2005 12:25  2.4K  
 datalog_expanded.ruleml        25-May-2005 15:42  1.9K  
 discount.ruleml                25-May-2005 15:42  4.5K  
 dishornlog.ruleml              25-May-2005 15:42  2.9K  
 equivalent.ruleml              25-May-2005 15:42  1.0K  
 exists.ruleml                  25-May-2005 15:42  704   
 factorial.ruleml               25-May-2005 15:42  1.4K  
 folog.ruleml                   25-May-2005 15:42  4.6K  
 fologeq.ruleml                 25-May-2005 15:42  5.5K  
 framehohornlogeq.ruleml        08-Jun-2005 15:53  6.2K  
 hohornlog.ruleml               25-May-2005 15:42  5.4K  
 hohornlogeq.ruleml             25-May-2005 15:42  4.6K  
 hornlog.ruleml                 25-May-2005 15:42  2.7K  
 hornlogeq.ruleml               25-May-2005 15:42  2.7K  
 likes.ruleml                   25-May-2005 15:42  684   
 nafdatalog.ruleml              25-May-2005 15:42  2.0K  
 naffolog.ruleml                25-May-2005 15:42  5.0K  
 naffologeq.ruleml              25-May-2005 15:42  6.6K  
 nafhornlog.ruleml              13-Jul-2005 10:21  1.3K  
 nafnegdatalog.ruleml           25-May-2005 15:42  2.0K  
 negdatalog.ruleml              25-May-2005 15:42  1.8K  
 oojdrew.ruleml                 25-May-2005 15:42   15K  
 own.ruleml                     25-May-2005 15:42  3.7K  
 own_compact.ruleml             25-May-2005 15:42  3.6K  
 own_expanded.ruleml            25-May-2005 15:42  4.3K  
 own_explicit_quantifier.ruleml 25-May-2005 15:42  871   
 pricediscount.ruleml           27-Jun-2005 11:03  1.5K  
 purchase.ruleml                25-May-2005 15:42  2.4K  
 recommend.ruleml               25-May-2005 15:42  864   
 uriexp.ruleml                  25-May-2005 15:42  836