StackOverflow 文件 Prolog Language 教程 控制結構 控制結構 Disjunction（邏輯 OR）隱式與 explict 連詞（邏輯 AND） 剪下（刪除選擇點） Disjunction（邏輯 OR）隱式與 explict