Skip to search formSkip to main contentSkip to account menu

HiLog

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

Related topics

Related topics

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

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2011
2011
The transportation paths routing semantic description
The paper presents a semantic network formalism based on frame logic. Advanced techniques including HiLog extensions, transaction… 
2006
2006
Semantic Web data integration using F-Logic
The paper addresses data integration for heterogeneous knowledge sources in the semantic Web domain. The objective of the works… 
2004
2004
Report on the design of component model and composition technology for the Datalog and Prolog variants of the REWERSE languages
This design report outlines the elements of a component model for the REWERSE languages. Instead of defining a special component… 
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… 
1999
1999
Knowledge Base Amalgamation using Higher-Order Logic-Based Language HiLog
Increasing number of data sources that are used for decision support in business caused the need for the integration of all… 
1999
1999
MD-SQL: A Language for Meta-Data Queries over Relational Databases
Future users of large, interconnected databases and data warehouses will increasingly require schematic transparency of data… 
1994
1994
The F(rames)-Logic Approach for Description Languages II: A Hybrid Integration of Rules and Descript
Descriptions andRules are di erent, complementary, essential forms of knowledge. Descriptions are analytic and closed; rules are… 
1994
1994
The XSB Programmer's Manual Version 1.7.1
To date (Version 1.7.1), the core engine development of the SLG-WAM has been mainly implemented by Terrance Swift, Kostis Sagonas… 
1994
1994
A Portable Compiler for Integrating HiLog into Prolog Systems
1992
1992
HILOG - a higher order logic programming language
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)