Index of /0.88/exa

 Name                           Last modified      Size  Description
 Parent Directory                                    -   
 appendix1a.ruleml              02-Feb-2005 11:00  1.2K  
 appendix1b.ruleml              02-Feb-2005 11:00  1.3K  
 appendix2b.ruleml              02-Feb-2005 11:00  483   
 authenticate.ruleml            04-Feb-2005 16:30  1.7K  
 bindatalog.ruleml              17-Feb-2005 13:22  1.5K  
 book.ruleml                    04-Feb-2005 16:30  603   
 bookplex.ruleml                04-Feb-2005 16:30  565   
 broker.ruleml                  25-Jan-2005 15:53  1.3K  
 creator.ruleml                 28-Feb-2005 12:27  1.3K  
 datalog.ruleml                 04-Feb-2005 16:30  1.5K  
 datalog_expanded.ruleml        04-Feb-2005 16:30  1.9K  
 discount.ruleml                04-Feb-2005 16:30  4.5K  
 equalog.ruleml                 04-Feb-2005 16:30  2.4K  
 equalog_expanded.ruleml        04-Feb-2005 16:30  3.2K  
 equivalent.ruleml              28-Feb-2005 12:25  1.0K  
 exists.ruleml                  28-Feb-2005 12:25  704   
 factorial.ruleml               04-Feb-2005 16:30  1.4K  
 hornlog.ruleml                 04-Feb-2005 16:30  2.0K  
 hornlog_expanded.ruleml        04-Feb-2005 16:30  2.5K  
 likes.ruleml                   25-Jan-2005 16:10  684   
 nafdatalog.ruleml              25-Jan-2005 16:11  2.0K  
 nafnegdatalog.ruleml           25-Jan-2005 16:10  2.0K  
 negdatalog.ruleml              25-Jan-2005 16:11  1.8K  
 own.ruleml                     04-Feb-2005 16:30  3.7K  
 own_compact.ruleml             04-Feb-2005 16:30  3.6K  
 own_expanded.ruleml            04-Feb-2005 16:30  4.3K  
 own_explicit_quantifier.ruleml 04-Feb-2005 16:30  871   
 purchase.ruleml                04-Feb-2005 16:30  2.4K  
 recommend.ruleml               04-Feb-2005 16:30  866   
 urcbindatagroundfact.ruleml    17-Feb-2005 13:23  1.1K  
 urcbindatagroundlog.ruleml     17-Feb-2005 13:23  1.5K  
 urcbindatalog.ruleml           17-Feb-2005 13:23  1.6K  
 urcdatalog.ruleml              17-Feb-2005 13:23  1.8K  
 urdatalog.ruleml               04-Feb-2005 16:30  1.7K  
 urequalog.ruleml               04-Feb-2005 16:30  2.6K  
 urhornlog.ruleml               04-Feb-2005 16:30  2.2K  
 uriexp.ruleml                  04-Feb-2005 16:30  836