HiLog is a programming logic with higher-order syntax, which allows arbitrary terms to appear in predicate and function positions.[1] However, the model theory of HiLog is first-order. Although syntactically HiLog strictly extends first order logic, HiLog can be embedded into this logic.
HiLog was first described in 1989.[2] It was later extended in the direction of many-sorted logic.[3]
The XSB system parses HiLog syntax, but the integration of HiLog into XSB is only partial. In particular, HiLog is not integrated with the XSB module system. A full implementation of HiLog is available in the Flora-2 system.
It has been shown that HiLog can be embedded into first-order logic through a fairly simple transformation.[1] For instance, p(X)(Y,Z(V)(W)) gets embedded as the following first-order term: apply(p(X),Y,apply(apply(Z,V),W)).[1]
The Framework for Logic-Based Dialects (RIF-FLD) of the Rule Interchange Format (RIF) is largely based on the ideas underlying HiLog and F-logic.[4]
^ abcChen, Weidong; Kifer, Michael; Warren, David S. (February 1993). "HiLog: A foundation for higher-order logic programming". Journal of Logic Programming. 15 (3): 187–230. doi:10.1016/0743-1066(93)90039-J.
^Chen, Weidong; Kifer, Michael; Warren, David S. (1989). "HiLog: a first order semantics for higher-order logic programming constructs". Logic programming: Proceedings of the North American conference, 1989. MIT Press. ISBN 0262620642. OCLC 1153667751.
^Chen, Weidong; Kifer, Michael (1995). "Sorted HiLog: sorts in higher-order logic data languages". In Gottlob, Georg; Vardi, Moshe Y. (eds.). Database theory—ICDT '95: 5th International Conference, Prague, Czech Republic, January 11–13, 1995: proceedings. Lecture notes in computer science. Vol. 893. Springer. pp. 252–265. doi:10.1007/3-540-58907-4_20. ISBN 9780387589077. OCLC 31740400.
^Kifer, Michael (2008). "Rule interchange format: the framework". In Calvanese, Diego; Lausen, Georg (eds.). Web reasoning and rule systems: second international conference, RR 2008, Karlsruhe, Germany, October 31–November 1, 2008: proceedings. Lecture notes in computer science. Vol. 5341. Springer. pp. 1–11. doi:10.1007/978-3-540-88737-9_1. ISBN 9783540887362. OCLC 262884460.
theory of HiLog is first-order. Although syntactically HiLog strictly extends first order logic, HiLog can be embedded into this logic. HiLog was first...
usage rules of the HiLog and HiLog atomic formulas to extend SWSL-FOL. The combination of SWSL-FOL + Equality and SWSL-FOL + HiLog can also extend the...
software vendor XSB, Inc. XSB extends Prolog with tabled resolution and HiLog. XSB is a compiled dialect of Prolog based on the Warren Abstract Machine...
map(Function, Xs). Higher-order programming style in Prolog was pioneered in HiLog and λProlog. For programming in the large, Prolog provides a module system...
such as predicate variables. Such languages include the Prolog extensions HiLog and λProlog. Basing logic programming within linear logic has resulted in...
compilation and construction speed of Hap/App Display Optimisations: improved HiLoglog output results, and support filtering Har supports: C++ shared library...
a bit complexity viewpoint, variables such as lo and hi do not use constant space; it takes O(log n) bits to index into a list of n items. Because there...
Lincoln Logs are an American children's construction toy consisting of square-notched miniature lightweight logs used to build small forts and buildings...
given by O ( n p log ( n p ) + p log ( n p ) log ( n ) + n p log ( p ) ) {\displaystyle {\mathcal {O}}\left({\frac {n}{p}}\log \left({\frac {n}{p}}\right)+p\log...
semantics for declarative logic rules with features for higher-order syntax (HiLog), frame syntax (cf. F-Logic), defeasibility (prioritized defaults), general...
Wiktionary, the free dictionary. High Score or Hi Score may refer to: High score, the highest logged point value in a game High score Scrabble, a variant...
(July) Psy (August) Jung Eun-ji & Seo In-guk (September) Gain (October) Lee Hi (November) Lee Seung-gi (December) 2013 Girls' Generation (January) Sistar19...
self-confessed Tennessee hoarder is motivated to clear out his jam-packed log cabin home, and the showstopper is a 1947 Harley Knucklehead. When a restoration...
a Spliff Odyssey", and with their 1996 debut LP, Sounds from the Thievery Hi-Fi. Their 1998 single "Lebanese Blonde", later included in their 2000 studio...
Lalit Prasad (a.k.a. Lalloo) of Hum Log, the Television series of the 1980s. He is seen in mostly comedy shows like Hi Zindagi Bye Zindagi (Zee TV), One...
(1941), To Itch His Own (1958), Pink Pajamas (1964) 393 158 "Ants On a Log Day" September 14, 2022 (2022-09-14) Bill and Toony celebrate their favorite...
increasing subsequence problem is solvable in time O ( n log n ) , {\displaystyle O(n\log n),} where n {\displaystyle n} denotes the length of the input...
Specific date/time stamp shown for events in call log, and one-touch access to a contact card from a call log event. Animated screen transitions. Auto-rotation...