利用高阶逻辑编程处理并列结构的语义解释

许多语义解释理论使用 λ 项操作来组合地计算句子的意义。这些理论通常实现在 Prolog 等语言中，该语言可以通过一阶统一来模拟 λ 项操作。然而，对于一些有趣的情况，例如组合范畴语法对并列结构的处理，这只能通过掩盖底层语言学理论的实现"技巧"来完成。本文展示了高阶逻辑编程所允许的抽象语法如何使组合范畴语法的语义得到优雅的实现，包括其对并列结构的处理。