Termination analysis of logic programs using acceptability with general term orders