New Generation Knowledge Processing. Volume 3.
Abstract
The main goal of this project was to design a high-level programming system (which we have named SUPER, an acronym for Syracuse University Parallel Expression Reducer) with two parts: a language which would combine the functional (as in LISP, SASL, or ML) with the relational (as in PROLOG) programming concepts into a single new paradigm and a machine which would execute programs written in the language, using reduction and a multiprocessor architecture. The SUPER language is an extension of the basic lambda-calculus which we call lambda plus. It is formally a collection of expressions together with some rules and definitions which give them meaning and make it possible to do deductive reasoning and computation with them. The expressions of the SUPER language fall into three main syntactic categories: atoms, abstractions, and combinations. Volume I describes the SUPER system, and discusses the conceptual background in terms of which it can best be understood. Volume 2 contains a detailed presentation of the single-processor software programming system LNF which was developed to serve as a test bed and simulation tool for the classical part of the SUPER system. Volume 3 presents the final, enhanced version of LNF, which we call LNF-Plus and which provides the user with as close an approximation as we can achieve on a single processor of the SUPER system.
Document Details
- Document Type
- Technical Report
- Publication Date
- Oct 01, 1987
- Accession Number
- ADA190167
Entities
People
- J. A. Robinson
- Kevin J. Greene
Organizations
- Syracuse University