New Generation Computing

, Volume 13, Issue 3–4, pp 245–286

Inverse entailment and progol

  • Stephen Muggleton
Special Issue

DOI: 10.1007/BF03037227

Cite this article as:
Muggleton, S. NGCO (1995) 13: 245. doi:10.1007/BF03037227


This paper firstly provides a re-appraisal of the development of techniques for inverting deduction, secondly introduces Mode-Directed Inverse Entailment (MDIE) as a generalisation and enhancement of previous approaches and thirdly describes an implementation of MDIE in the Progol system. Progol is implemented in C and available by anonymous ftp. The re-assessment of previous techniques in terms of inverse implication leads to new results for learning from positive data and inverting implication between pairs of clauses.


Learning Logic Programming Induction Predicate Invention Inverse Resolution Inverse Entailment Information Compression 

Copyright information

© Ohmsha, Ltd. and Springer 1995

Authors and Affiliations

  • Stephen Muggleton
    • 1
  1. 1.Oxford University Computing LaboratoryOxfordUK

Personalised recommendations