Update Predicat A*