Disjunctive logic programming permits the description of indefinite or incomplete information through a disjunction of atoms in the head of a clause.
確定! 回上一頁