翻訳と辞書
Words near each other
・ high speed serial interface
・ high voltage differential
・ high-level data link control
・ high-level language
・ high-speed net connect
・ higher education national software archive
・ higher-order function
・ higher-order macro
・ higz
・ hill climbing
hilog
・ himem
・ hing
・ hint
・ hipac
・ hippi
・ hiragana
・ hirsute
・ historian
・ history


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

hilog : FOLDOC
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)



スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.