Moved precedes out of the Prolog core