Notes on the Conversion of LogLisp from Rutgers/UCI-Lisp to InterLisp,

Abstract

Conversion of the LogLisp(Logic programming in Lisp) Artificial Intelligence programming environment from its original Rutgers/UCI-Lisp (RUCI-Lisp) implementation to an InterLisp implementation is described. This report may be useful to researchers wishing to convert LogLisp to yet another Lisp dialect, or to those wishing to convert other RUCI-Lisp programs into InterLisp. It is also intended to help users of the InterLisp version of LogLisp to understand the implementation. The conversion process is described at a level aimed toward potential translators who might benefit from approaches taken and lessons learned. General issues of conversion of Lisp software between dialects are discussed, use of InterLisp's dialect translation package is described, and specific issues of non-mechanizable conversion are addressed. The latter include dialect differences in function definitions, arrays, integer arithmetic, i/o, interrupts, and macros. Subsequent validation, compilation, and efficiency enhancement of the InterLisp version are then described. A brief user's guide to the InterLisp version and points of contact for information on LogLisp software distribution are also provided. (Author)

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jan 01, 1983
Accession Number
ADA127718

Entities

People

  • Robert C. Schrag

Organizations

  • Rome Laboratory

Tags

Communities of Interest

  • C4I

DTIC Thesaurus Topics

  • Air Force
  • Air Force Facilities
  • Arithmetic
  • Artificial Intelligence
  • Compilers
  • Computer Programming
  • Computer Programs
  • Computers
  • Debugging
  • Language
  • Lessons Learned
  • Lisp Programming Language
  • Operating Systems
  • Programming Languages
  • Standards
  • System Software
  • Translations

Fields of Study

  • Computer science

Readers

  • Computational Linguistics
  • Computer Science.

Technology Areas

  • AI & ML
  • AI & ML - DoD AI Strategy
  • AI & ML - Machine Translation