or, logical disjunction, ;: The logical conjunction (logical-and, ∧) of goals is achieved in Prolog by separating the goals by commas: happy(X) :- rich(X), ...
確定! 回上一頁