Qupak: Pattern Matching for Prolog with library(reif)
5 months ago
- #Reification
- #Pattern Matching
- #Prolog
- 该库提供了用于模式匹配的谓词，扩展自library(reif)库。
- 核心谓词为pattern_match_t/3，同时提供非重化版本pattern_match/2。
- 提供如(=~)/3等运算符以实现符合人体工程学的模式匹配。
- 模式可匹配地面项、绑定变量或执行重化合一操作。
- 特殊模式包括(*)用于忽略项，(<<)用于绑定整个模式。
- 重化谓词可用于进一步约束匹配条件。
- match/2谓词通过模式匹配实现了类似switch语句的功能。
- 示例用法展示了如何匹配项并处理dif/2约束。