Garis besar topik

      • Representation scheme used Logic Program
      • Horn Clauses and Entailment
      • Logic Programs in ILP
      • Prior Conditions on the Problem
      • Posterior Conditions on Hypothesis
      • Problem Specification
      • Moving in Logic Program Space
      • Inverting Deductive Rules
      • Inverting Resolution
      • Generic Search Strategy
      • Search (Extra Logical) Considerations Generality and Speciality
      • Search Direction
      • Pruning
      • Ordering
      • Language Restrictions