Prolog: Programming is not enough like logic.

• 编程没有逻辑是不行的。