组合程序逻辑

combinator logic