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
Externally publishedYes

Fingerprint

Logic Programs
Recursively Enumerable Languages
Form
Skeleton
Reasoning

Keywords

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

ASJC Scopus subject areas

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

Cite this

Logic program forms. / Yokomori, Takashi.

In: New Generation Computing, Vol. 4, No. 3, 09.1986, p. 305-319.

Research output: Contribution to journalArticle

Yokomori, Takashi. / Logic program forms. In: New Generation Computing. 1986 ; Vol. 4, No. 3. pp. 305-319.
@article{3207c8f88f644096b10fc564361658ec,
title = "Logic program forms",
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.",
keywords = "Analogical Reasoning, Expressive Capability, Interpretation, Logic Program Form, Program Representation",
author = "Takashi Yokomori",
year = "1986",
month = "9",
doi = "10.1007/BF03037409",
language = "English",
volume = "4",
pages = "305--319",
journal = "New Generation Computing",
issn = "0288-3635",
publisher = "Springer Japan",
number = "3",

}

TY - JOUR

T1 - Logic program forms

AU - Yokomori, Takashi

PY - 1986/9

Y1 - 1986/9

N2 - 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.

AB - 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.

KW - Analogical Reasoning

KW - Expressive Capability

KW - Interpretation

KW - Logic Program Form

KW - Program Representation

UR - http://www.scopus.com/inward/record.url?scp=1642551680&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=1642551680&partnerID=8YFLogxK

U2 - 10.1007/BF03037409

DO - 10.1007/BF03037409

M3 - Article

VL - 4

SP - 305

EP - 319

JO - New Generation Computing

JF - New Generation Computing

SN - 0288-3635

IS - 3

ER -