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 language | English (US) |
|---|---|
| Pages (from-to) | 90-93 |
| Number of pages | 4 |
| Journal | Knowledge-Based Systems |
| Volume | 1 |
| Issue number | 2 |
| DOIs | |
| State | Published - Mar 1988 |
| Externally published | Yes |
Keywords
- Lisp
- converter
- paramodulation
- rule-based program translator
ASJC Scopus subject areas
- Software
- Management Information Systems
- Information Systems and Management
- Artificial Intelligence
Fingerprint
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
- APA
- Standard
- Harvard
- Vancouver
- Author
- BIBTEX
- RIS