Skip to search formSkip to main content

HiLog

HiLog is a programming logic with higher-order syntax, which allows arbitrary terms to appear in predicate and function positions. However, the model… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2007
2007
This paper presents a method for encoding OWL-S atomic processes by means of SWRL rules and composing them using a backward… Expand
  • figure 1
  • table 1
  • table 2
Is this relevant?
Highly Cited
2000
Highly Cited
2000
This paper reports on the design and implementation of FLORA -- a powerful DOOD system that incorporates the features of F-logic… Expand
Is this relevant?
1999
1999
In this article we use logic-based language HiLog to integrate heterogeneous data sources. HiLog is Prolog type logic-based… Expand
Is this relevant?
1995
1995
HiLog enhances the modeling capabilities of deductive data bases and logic programming with higher-order and meta-data constructs… Expand
Is this relevant?
1995
1995
In this paper we address the problem of eeciently implementing HiLog, a logic programming language with higher-order syntax and… Expand
Is this relevant?
1995
1995
In this paper we address the problem of efficiently implementing HiLog, a logic programming language with higher-order syntax and… Expand
Is this relevant?
1994
1994
Abstract The logic HiLog of Chen, Kifer, and Warren has a second order syntax, while its semantics is first order. HiLog programs… Expand
Is this relevant?
Highly Cited
1993
Highly Cited
1993
Abstract We describe a novel logic, called HiLog, and show that it provides a more suitable basis for logic programming than does… Expand
Is this relevant?
1991
1991
Negation in HiLog 
Is this relevant?
1989
1989
A formal framework of a strongly typed logic programming language with high-order terms (HILOG) is developed which extends Logic… Expand
Is this relevant?