Home Articles FAQs XREF Games Software Instant Books BBS About FOLDOC RFCs Feedback Sitemap
irt.Org

HiLog

You are here: irt.org | 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)

Nearby terms: High Voltage Differential « HIGZ « hill climbing « HiLog » HIMEM » Hindenbug » hing

FOLDOC, Topics, A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, ?, ALL

©2018 Martin Webb