prolog - プロローグ: ルール内の AND OR ステートメントのグループ化

Question

論理ステートメントがある場合: If (A or C) and (B or D) then E. これをプロローグ ルールに変換するにはどうすればよいですか?

E :- (A;C),(B;D) のようなブラケットを使用してグループ化できますか。