PREDICATE Statement Match Atom : DProgram * String + OFormula + - OFormula; Definition Inprogram : DProgram + String * 0Name * List (OFormula); ...
確定! 回上一頁