prolog 智能推理机的实现代码，可编辑运行，欢迎大家交流与学习-This example demonstrates Prolog Inference Engine is a small Prolog Interpreter. It uses the standard Prolog syntax (K&M) and releases the most popular set of predicates.