fact The kind of clause used in logic programming which has no subgoals and so is always true (always succeeds). E.g. wet(water). male(denis).
確定！ 回上一頁
