 Parent Directory | | |
 oojdrew.ruleml | 2018-02-09 20:15 | 16k |
| own_expanded.ruleml | 2018-02-09 20:15 | 8k |
| naffologeq.ruleml | 2018-02-09 20:15 | 8k |
| naffologeq-fuzzy.ruleml | 2018-02-09 20:15 | 8k |
| naffolog.ruleml | 2018-02-09 20:15 | 8k |
| hohornlogeq.ruleml | 2018-02-09 20:15 | 8k |
| hohornlog.ruleml | 2018-02-09 20:15 | 8k |
| framehohornlogeq.ruleml | 2018-02-09 20:15 | 8k |
| fologeq.ruleml | 2018-02-09 20:15 | 8k |
| folog.ruleml | 2018-02-09 20:15 | 8k |
| discount.ruleml | 2018-02-09 20:15 | 8k |
| uriexp.ruleml | 2018-02-09 20:15 | 4k |
| recommend.ruleml | 2018-02-09 20:15 | 4k |
| purchase.ruleml | 2018-02-09 20:15 | 4k |
| pricediscount.ruleml | 2018-02-09 20:15 | 4k |
| own_explicit_quantifier.ruleml | 2018-02-09 20:15 | 4k |
| own_compact.ruleml | 2018-02-09 20:15 | 4k |
| own.ruleml | 2018-02-09 20:15 | 4k |
| own-fuzzy.ruleml | 2018-02-09 20:15 | 4k |
| negdatalog.ruleml | 2018-02-09 20:15 | 4k |
| nafnegdatalog.ruleml | 2018-02-09 20:15 | 4k |
| nafhornlog.ruleml | 2018-02-09 20:15 | 4k |
| nafdatalog.ruleml | 2018-02-09 20:15 | 4k |
| likes.ruleml | 2018-02-09 20:15 | 4k |
| hornlogeq.ruleml | 2018-02-09 20:15 | 4k |
| hornlog.ruleml | 2018-02-09 20:15 | 4k |
| factorial.ruleml | 2018-02-09 20:15 | 4k |
| exists.ruleml | 2018-02-09 20:15 | 4k |
| equivalent.ruleml | 2018-02-09 20:15 | 4k |
| dishornlog.ruleml | 2018-02-09 20:15 | 4k |
| datalog_expanded.ruleml | 2018-02-09 20:15 | 4k |
| datalog.ruleml | 2018-02-09 20:15 | 4k |
| creator.ruleml | 2018-02-09 20:15 | 4k |
| constraint.ruleml | 2018-02-09 20:15 | 4k |
| broker.ruleml | 2018-02-09 20:15 | 4k |
| bookplex.ruleml | 2018-02-09 20:15 | 4k |
| book.ruleml | 2018-02-09 20:15 | 4k |
| bindatalog.ruleml | 2018-02-09 20:15 | 4k |
| bindatagroundlog.ruleml | 2018-02-09 20:15 | 4k |
| bindatagroundfact.ruleml | 2018-02-09 20:15 | 4k |
| authenticate.ruleml | 2018-02-09 20:15 | 4k |
| appendix2b.ruleml | 2018-02-09 20:15 | 4k |
| appendix1b.ruleml | 2018-02-09 20:15 | 4k |
| appendix1a.ruleml | 2018-02-09 20:15 | 4k |