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.
Review
2007
Review
2007
XSB: An Overview of its Use and Implementation
Several features of the XSB Logic Programming System make it suitable as a database engine including: its foundation on SLG… 
2006
2006
Composition of Rule Sets and Ontologies
To master large rule sets in ontologies and other logic-based specifications, the ability to divide them into components plays an… 
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… 
2005
2005
Interprete NEUPRO utilizando la NeuPro abstract machine
Resumen El lenguaje de programacion Prolog es uno de los principales lenguajes de la Inteligencia Artificial. Pertenece a la… 
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… 
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… 
1991
1991
On negation in HiLog (extended abstract)
Negation in HiLog 
Highly Cited
1991
Highly Cited
1991
Glue-Nail: a deductive database system
Glue is a procedural language for deductive databases. It is designed to complement the purely declarative NAIL! 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)