英文字典中文字典51ZiDian.com
|
HiLog A {higher-order logic} programming language. An extension of
normal {logic programming} where {predicate} symbols may be variable or structured. This allows {unification} to be performed on the predicate symbols themselves in addition to their arguments. {(ftp://sbcs.sunysb.edu/SB-hilog)}. ["HiLog as a Platform for Database Languages (Or Why Predicate Calculus is Not Enough)", W. Chen et al, Stony Brook, 2nd Intl Workshop on Database Prog Langs, Morgan Kaufmann, 1989]. (1994-12-07)
请选择你想看的字典辞典:
|
安装中文字典英文字典查询工具!
英文字典中文字典相关资料:
|
中文字典-英文字典 2005-2009