The general translation scheme for

pred(X):-
  ( A -> B
  ; C -> D
  ; G
  ).
pred(Y):- Q.

是

pred(X):- pred1(X).
pred(Y):- Q.

pred1(X):- call(A), !, B.
pred1(X):- call(C), !, D.
pred1(X):- G.

非常感谢 j4n bur53 指出需要通话-如果在 A内有切痕 或 C ！

Big thanks to j4n bur53 for pointing out the need for call -- in case there's a cut inside the A or the C!

另请参见 -> 文档。

See also -> documentation.