public PrologCodeTerm ReadTerm(int priority) { /* Read a term as binary tree */ BinaryTree ast = Term(1200); /* Convert binary tree into PrologCodeTerm and return it*/ return ConvertBinaryTreeToCodeDOM(ast); }