是指相对于逻辑编程而存在的一种技术，逻辑编程通过将固定的逻辑以高级语言控制语句的形式，编译成可执行程序，进而实现逻辑控制。