Find centralized, trusted content and collaborate around the technologies you use most.
Teams
Q&A for work
Connect and share knowledge within a single location that is structured and easy to search.
expr : 原子 | atom BINARY expr -> ^(BINARY atom expr) ;
如果可能的话,我想在不回溯的情况下解决这个问题。由于某种原因,使用回溯会破坏我的代码。关于句法谓词的文档不多,我想知道如何用谓词代替。