非程序逻辑