StackOverflow 文档 Prolog Language 教程 控制结构 控制结构 Disjunction（逻辑 OR）隐式与 explict 连词（逻辑 AND） 剪切（删除选择点） Disjunction（逻辑 OR）隐式与 explict