Another Prolog Tableaux Resolutor