DeepAI AI Chat
Log In Sign Up

Predicate Specialization for Definitional Higher-order Logic Programs

by   Antonis Troumpoukis, et al.
NCSR Demokritos
University of Athens

Higher-order logic programming is an interesting extension of traditional logic programming that allows predicates to appear as arguments and variables to be used where predicates typically occur. Higher-order characteristics are indeed desirable but on the other hand they are also usually more expensive to support. In this paper we propose a program specialization technique based on partial evaluation that can be applied to a modest but useful class of higher-order logic programs and can transform them into first-order programs without introducing additional data structures. The resulting first-order programs can be executed by conventional logic programming interpreters and benefit from other optimizations that might offer. We provide an implementation and experimental results that suggest the efficiency of the transformation.


page 1

page 2

page 3

page 4


Learning Logic Programs by Discovering Higher-Order Abstractions

Discovering novel abstractions is important for human-level AI. We intro...

Learning higher-order logic programs

A key feature of inductive logic programming (ILP) is its ability to lea...

Learning Higher-Order Programs without Meta-Interpretive Learning

Learning complex programs through inductive logic programming (ILP) rema...

Imperative Functional Programs that Explain their Work

Program slicing provides explanations that illustrate how program output...

A Framework for Modelling, Verification and Transformation of Concurrent Imperative Programs

The paper gives a comprehensive presentation of a framework, embedded in...

Higher Order Programming to Mine Knowledge for a Modern Medical Expert System

Knowledge mining is the process of deriving new and useful knowledge fro...

The Intricacies of 3-Valued Extensional Semantics for Higher-Order Logic Programs

In (Bezem 1999; Bezem 2001), M. Bezem defined an extensional semantics f...