Restored prolog operation extension