约束逻辑编程中的备忘录技术
cmp-lg
2008-02-03 v1 计算与语言
摘要
本文展示了如何在约束逻辑编程设置中应用备忘录技术（子目标及其关联答案替换的缓存）。该研究的动机在于将约束逻辑编程（CLP）应用于涉及（约束）交织或协同程序的自然语言处理问题，如 GB 和 HPSG 解析。
引用
@article{arxiv.cmp-lg/9404005,
title = {Memoization in Constraint Logic Programming},
author = {Mark Johnson},
journal= {arXiv preprint arXiv:cmp-lg/9404005},
year = {2008}
}
备注
11 pages