Logic program forms

Takashi Yokomori*

*Corresponding author for this work

Research output: Contribution to journalArticlepeer-review


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
Issue number3
Publication statusPublished - 1986 Sept 1
Externally publishedYes


  • 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


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

Cite this