Examples:

Demo
 calendar1.dlht
 rce
Unit1
 simple.dlv
 simpleGuess.dlv
 simpleConstraint.dlv
 simpleDisj.dlv
 sudoku.dlv
Unit2
 wineCover4.dlv
 wineCover5.dlv
 wineCover5b.dlv
 wineCover5c.dlv
 wineCover6.dlv
 wineCover7.dlt
 wineCover7a.dlt
 wineCover7b.dlt
 wineCover8.dlt
 assignment.dlv
 permutation.dlt
 tsp.dlv
Unit4
 knowing.dlh
 knowing2.dlh
 knowing3.dlh
Unit5
 wineCover09a.dlp
 wineCover09b.dlp
 wineCover09c.dlp
 reviewers.dlp
Unit6
 delicious_a.dlh
 delicious_b.dlh
 wineCover10a.dlht
 wineCover10b.dlht
 policy_a.dlv
 policy_b.dlh
 reviewers1.dlp
 reviewers1.dlh
 reviewers2.dlh
 reviewers3.dlh
 reviewers4.dlh
 reviewers4a.dlh
Unit7
 calendar1.dlht
 seating.dlv

Choose the reasoner:  dlv dlt dlvhex dlvhex+dlt dlp  Ontology: 

[clear]
Result Filter:

(comma-separated list of predicate names)

One fact per line    [evaluate]