Talk:Prolog/Inference Engines

what is this about?