Index of /1.03-psoa/exa/Datalog/

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

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