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

Related topics

Related topics

8 relations
F-logicFirst-order logicFlora-2Logic programming
Expand

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2007
2007
OWL-S Atomic Services Composition with SWRL Rules
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
FLORA: Implementing an Efficient DOOD System Using a Tabling Logic Engine
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
Amalgamation of Heterogeneous Data Sources Using Amalgamated Annotated HiLog
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
Sorted HiLog: Sorts in Higher-Order Logic Data Languages
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
Efficient Execution of HiLog in WAM-based Prolog Implementations
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
Efficient Execution of HiLog in WAM-based Prolog implementations
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
On Negation in HiLog
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
HILOG: A Foundation for Higher-Order Logic Programming
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
On negation in HiLog (extended abstract)
Negation in HiLog 
Is this relevant?
1989
1989
HILOG: A High-Order Logic Programming Language for Non-1NF Deductive Databases
A formal framework of a strongly typed logic programming language with high-order terms (HILOG) is developed which extends Logic… Expand
Is this relevant?