Logic program forms

Research output: Contribution to journalArticle

6 Citations (Scopus)

Abstract

In this paper we propose the concept of a logic program form. A logic program form is a kind of program abstraction where the skeleton of a program called program form is separated from its detailed structural information called interpretation. Given a logic program form, the class of logic programs obtained from the master form by giving interpretations is defined. It is shown that there exists a fixed logic program form which can provide a universal descriptive capability in the sense that any recursively enumerable language is expressed by a logic program obtained from the program form. Further, some application issues are discussed in the contexts of logic program representation and analogical reasoning in logic programs.

Original languageEnglish
Pages (from-to)305-319
Number of pages15
JournalNew Generation Computing
Volume4
Issue number3
DOIs
Publication statusPublished - 1986 Sep 1

Keywords

  • Analogical Reasoning
  • Expressive Capability
  • Interpretation
  • Logic Program Form
  • Program Representation

ASJC Scopus subject areas

  • Software
  • Theoretical Computer Science
  • Hardware and Architecture
  • Computer Networks and Communications

Fingerprint Dive into the research topics of 'Logic program forms'. Together they form a unique fingerprint.

  • Cite this