Mandarax includes a comprehensive library of pre-defined predicates and functions.

• Mandarax包括一项全面的图书馆预先定义谓词和职能。