HiLog

0.10 sec.

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].

How to thank TFD for its existence? Tell a friend about us, add a link to this page, add the site to iGoogle, or visit webmaster's page for free fun content.

?Page tools

Printer friendly
Cite / link

Email
Feedback

? Mentioned in

XSB

Encyclopedia browser

? Full browser

Hillman, Sidney
hillock
Hillquit, Morris
Hillsboro
Hillsdale
Hillyer, Robert
Hilo
HiLog
Hilprecht, H. V.
Hilprecht, Hermann Volrath
Hilton, Conrad
Hilton, James
Hilton, Walter
hilum
Hilversum

Encyclopedia

Free Tools:	For surfers: Browser extension \| Word of the Day \| Help For webmasters: Free content \| Linking \| Lookup box \| Double-click lookup \| Partner with us

All content on this website, including dictionary, thesaurus, literature, geography, and other reference data is for informational purposes only. This information should not be considered complete, up to date, and is not intended to be used in place of a visit, consultation, or advice of a legal, medical, or any other professional. Terms of Use.