File:Fundamental Prolog 1 PIE.png

Prolog Inference Engine (PIE)