Novel approach to a rule-based general purpose program translator using paramodulation

Yoshiyasu Takefuji, Michael Dowell

Research output: Contribution to journalArticle

Abstract

In this paper a rule-based Lisp dialect translator using paramodulation is presented as an example of a general purpose program translator application where the knowledge about the translation is embedded in rules. The advantage of using a rule-based system is to allow the user to supply his own rules for translation, thus the translator can be considered as a general purpose converter. Also, the rule-based LDT has the ability to test individual rules for correctness to aid in rule development. The translation being used for development is Franz to Common Lisp.

Original languageEnglish
Pages (from-to)90-93
Number of pages4
JournalKnowledge-Based Systems
Volume1
Issue number2
DOIs
Publication statusPublished - 1988
Externally publishedYes

Fingerprint

Program translators
Knowledge based systems
Rule-based

Keywords

  • converter
  • Lisp
  • paramodulation
  • rule-based program translator

ASJC Scopus subject areas

  • Artificial Intelligence

Cite this

Novel approach to a rule-based general purpose program translator using paramodulation. / Takefuji, Yoshiyasu; Dowell, Michael.

In: Knowledge-Based Systems, Vol. 1, No. 2, 1988, p. 90-93.

Research output: Contribution to journalArticle

@article{f2c9677af2384748a112393b1d501c62,
title = "Novel approach to a rule-based general purpose program translator using paramodulation",
abstract = "In this paper a rule-based Lisp dialect translator using paramodulation is presented as an example of a general purpose program translator application where the knowledge about the translation is embedded in rules. The advantage of using a rule-based system is to allow the user to supply his own rules for translation, thus the translator can be considered as a general purpose converter. Also, the rule-based LDT has the ability to test individual rules for correctness to aid in rule development. The translation being used for development is Franz to Common Lisp.",
keywords = "converter, Lisp, paramodulation, rule-based program translator",
author = "Yoshiyasu Takefuji and Michael Dowell",
year = "1988",
doi = "10.1016/0950-7051(88)90003-2",
language = "English",
volume = "1",
pages = "90--93",
journal = "Knowledge-Based Systems",
issn = "0950-7051",
publisher = "Elsevier",
number = "2",

}

TY - JOUR

T1 - Novel approach to a rule-based general purpose program translator using paramodulation

AU - Takefuji, Yoshiyasu

AU - Dowell, Michael

PY - 1988

Y1 - 1988

N2 - In this paper a rule-based Lisp dialect translator using paramodulation is presented as an example of a general purpose program translator application where the knowledge about the translation is embedded in rules. The advantage of using a rule-based system is to allow the user to supply his own rules for translation, thus the translator can be considered as a general purpose converter. Also, the rule-based LDT has the ability to test individual rules for correctness to aid in rule development. The translation being used for development is Franz to Common Lisp.

AB - In this paper a rule-based Lisp dialect translator using paramodulation is presented as an example of a general purpose program translator application where the knowledge about the translation is embedded in rules. The advantage of using a rule-based system is to allow the user to supply his own rules for translation, thus the translator can be considered as a general purpose converter. Also, the rule-based LDT has the ability to test individual rules for correctness to aid in rule development. The translation being used for development is Franz to Common Lisp.

KW - converter

KW - Lisp

KW - paramodulation

KW - rule-based program translator

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

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

U2 - 10.1016/0950-7051(88)90003-2

DO - 10.1016/0950-7051(88)90003-2

M3 - Article

VL - 1

SP - 90

EP - 93

JO - Knowledge-Based Systems

JF - Knowledge-Based Systems

SN - 0950-7051

IS - 2

ER -