Prolog-style parser in SML, continued.
PrologStyleParser: Handle infix syntax.