aboutsummaryrefslogtreecommitdiff
path: root/src/uk/ac/ox/cs/pagoda/rules/LowerDatalogProgram.java
Commit message (Expand)AuthorAgeFilesLines
* Small changes.RncLsn2015-06-301-1/+2
* Implementing Limited Skolemisation, in particular SkolemTermsDispenser.RncLsn2015-05-131-7/+24
* Adding (not completed) a new upper bound technique, namely Limited Skolemisat...RncLsn2015-05-111-17/+8
* initial versionyzhou2015-04-211-0/+228