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

Yoshiyasu Takefuji, Michael Dowell

Research output: Contribution to journalArticlepeer-review

1 Citation (Scopus)


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
Issue number2
Publication statusPublished - 1988 Mar
Externally publishedYes


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

ASJC Scopus subject areas

  • Software
  • Management Information Systems
  • Information Systems and Management
  • Artificial Intelligence


Dive into the research topics of 'Novel approach to a rule-based general purpose program translator using paramodulation'. Together they form a unique fingerprint.

Cite this