Prolog Inference Engine

Help