Super Logic Programs: Examples

• Visit Europe or visit Australia
  [Run]
• California Blues
  [Run]
• Example showing how Static uses contrapositions
  [Run]
• Example where an equivalence between two propositions is minimally implied
  [Run]
• The same, but needing two iterations of Theta
  [Run]
• Example showing that disjunctive preconditions are needed in the restricted belief closure operator
  [Run]
• Simple non-disjunctive stratified theory
  [Run]
• Classical recursive Datalog program with variables (path)
  [Run]

If you know further interesting examples, please send me an email.

• Test 1: Syntax Analysis and Clause Conversion
  [Run]
• Test 2: Syntax Analysis (5 syntax errors that must be found)
  [Run]
• Test 3: Syntax Analysis (more syntax errors that must be found)
  [Run]
• Test 4: Syntax Analysis (still more syntax errors)
  [Run]
• Test 5: Syntax Analysis (safety/allowedness violations: variables not bound)
  [Run]
• Test 6: Test for Detecting Non-Minimal Conditional Facts and Duplicates
  [Run]
• Test 7: Another Test for Finding Non-Minimal Conditional Facts.
  [Run]
• Test 8: Distinction Between Conditional Facts and Rules.
  [Run]
• Test 9: Test for Hyperresolution (Single Step).
  [Run]
• Test 10: Test for Hyperresolution (Several Steps, Termination).
  [Run]
• Test 11: Test for Negative Reduction.
  [Run]
• Test 12: Test for Positive Reduction.
  [Run]
• Test 13: Interplay Between Positive and Negative Reduction.
  [Run]
• Test 14: Output of Disjunctive Answers.
  [Run]
• Test 15: Complicated Query, Test for Seminaive Evaluation.
  [Run]