向阿兰·科尔梅罗致敬

摘要:Alain Colmerauer对于逻辑程序(LP)和约束逻辑程序(CLP)领域的贡献。

作者:Jacques Cohen

论文ID:cs/0402058

分类:Programming Languages

分类简称:cs.PL

提交时间:2007-05-23

PDF 下载: 英文版 中文版pdf翻译中