Prolog Inference Engine is a small Prolog Interpretter. It uses the standard Prolog syntax (K&M) and releases the most popular set of predicates. Web PIE itself is a CGI application written in Visual Prolog. To run Web PIE, your brouser should support frames.