Index of /1.03/exa/Datalog/

      Name                                                                             Last modified         Size  Description
   
up Parent Directory 25-Jan-2018 19:56 - unknown annotation.ruleml 25-Jan-2018 19:56 8k unknown datalog-key-keyref.ruleml 25-Jan-2018 19:56 4k unknown datalog-ruleml.ruleml 25-Jan-2018 19:56 4k unknown datalog.ruleml 25-Jan-2018 19:56 4k unknown datalog_expanded.ruleml 25-Jan-2018 19:56 4k unknown datalog_min.ruleml 25-Jan-2018 19:56 4k unknown datalog_min_normal.ruleml 25-Jan-2018 19:56 4k unknown datalog_style.ruleml 25-Jan-2018 19:56 4k unknown datalogeq_min.ruleml 25-Jan-2018 19:56 4k unknown datalogeq_min_normal.ruleml 25-Jan-2018 19:56 4k unknown discount.ruleml 25-Jan-2018 19:56 8k unknown discount_compact.ruleml 25-Jan-2018 19:56 8k unknown dual-address.ruleml 25-Jan-2018 19:56 4k unknown exists.ruleml 25-Jan-2018 19:56 4k unknown multi-address.ruleml 25-Jan-2018 19:56 4k unknown own-fuzzy.ruleml 25-Jan-2018 19:56 8k unknown own.ruleml 25-Jan-2018 19:56 8k unknown own_compact.ruleml 25-Jan-2018 19:56 8k unknown own_expanded.ruleml 25-Jan-2018 19:56 8k unknown precious.ruleml 25-Jan-2018 19:56 4k unknown reify.ruleml 25-Jan-2018 19:56 4k unknown swrl-built-ins.ruleml 25-Jan-2018 19:56 4k unknown synohomonyms.ruleml 25-Jan-2018 19:56 12k

Proudly Served by LiteSpeed Web Server at deliberation.ruleml.org Port 443