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


Full Text : https://apps.dtic.mil/dtic/tr/fulltext/u2/a144413.pdf


Report Date : Jul 1984


Pagination or Media Count : 16


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