Accession Number:

ADA144413

Title:

LogLisp Sequential Forms with Resolution Semantics.

Descriptive Note:

In-house rept. 20 Jan-2 Feb 84,

Corporate Author:

ROME AIR DEVELOPMENT CENTER GRIFFISS AFB NY

Personal Author(s):

• Schrag,R. C.

Report Date:

1984-07-01

Pagination or Media Count:

16.0

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

Descriptors:

• *COMPUTER PROGRAMS
• *SEMANTICS
• *RESOLUTION
• *ARTIFICIAL INTELLIGENCE
• COMPUTER COMMUNICATIONS
• SEQUENTIAL ANALYSIS
• CODING
• HEURISTIC METHODS
• LOGIC

Subject Categories:

• Computer Programming and Software

Distribution Statement:

APPROVED FOR PUBLIC RELEASE