求前束范式的四个原则