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 language | English |
|---|---|
| Pages (from-to) | 305-319 |
| Number of pages | 15 |
| Journal | New Generation Computing |
| Volume | 4 |
| Issue number | 3 |
| DOIs | |
| Publication status | Published - 1986 Sep |
| Externally published | Yes |
Fingerprint
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 journal › Article
}
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
AN - SCOPUS:1642551680
VL - 4
SP - 305
EP - 319
JO - New Generation Computing
JF - New Generation Computing
SN - 0288-3635
IS - 3
ER -