Muggleton implemented Inverse entailment first in the PROGOL system.
Muggleton ters gerektirmeyi ilk olarak PROGOL sisteminde gerçekleştirmiştir.