LogLisp Sequential Forms with Resolution Semantics.
Abstract
This memorandum describes an extension to the semantics of the LogLisp artificial intelligence programming language that allows resolution in sequential forms. The execution cycle of LogLisp and the resolution semantics of existing special forms are summarized, and the need for an definitions of resolution semantics for sequential forms are presented. (Author)
Document Details
- Document Type
- Technical Report
- Publication Date
- Jul 01, 1984
- Accession Number
- ADA144413
Entities
People
- R. C. Schrag
Organizations
- Rome Laboratory