Accession Number : ADA193643

Title :   Unification and Set-Valued Functions for Functional and Logic Programming,

Corporate Author : NORTH CAROLINA UNIV AT CHAPEL HILL DEPT OF COMPUTER SCIENCE

Personal Author(s) : Silbermann, Frank S ; Jayaraman, Bharat

PDF Url : ADA193643

Report Date : Sep 1987

Pagination or Media Count : 24

Abstract : The authors propose a new approach to the integration of functional and logic languages, based on a theory of unification and set valued functions. A set-valued function maps a tuple of input sets into an output set. This document a language called Setlog illustrates this approach, and gives its model-theoretic, fixed-point, and operational semantics. The model-theoretic semantics and fixed-point semantics resemble that of Horn logic. The operational semantics uses outermost reduction (for set-valued functions) and unification (for terms). The correctness of the operational semantics is established through soundness and completeness proofs. Keywords: Syntax; Set theory.

Descriptors :   *COMPUTER PROGRAMMING, INPUT, OUTPUT, SEMANTICS, SET THEORY, SYNTAX, COMPUTER LOGIC

Subject Categories : Computer Programming and Software

Distribution Statement : APPROVED FOR PUBLIC RELEASE