推理操作

与推理跟踪关联的操作为 speculate()、commit() 和 discard()。这些操作将在第 13 章中讨论。