Logic program forms

研究成果: Article

6 引用 (Scopus)

抜粋

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.

元の言語English
ページ(範囲)305-319
ページ数15
ジャーナルNew Generation Computing
4
発行部数3
DOI
出版物ステータスPublished - 1986 9 1

    フィンガープリント

ASJC Scopus subject areas

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

これを引用