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

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.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Sep 01, 1987
Accession Number
ADA193643

Entities

People

  • Bharat Jayaraman
  • Frank S. Silbermann

Organizations

  • University of North Carolina at Chapel Hill

Tags

Communities of Interest

  • Energy and Power Technologies

DTIC Thesaurus Topics

  • Computations
  • Computer Architecture
  • Computer Languages
  • Computer Programming
  • Computer Science
  • Computers
  • Equations
  • Language
  • Models
  • New York
  • North Carolina
  • Programming Languages
  • Semantics
  • Set Theory
  • Theorems
  • Trees (Data Structures)
  • Universities

Fields of Study

  • Computer science

Readers

  • Approximation Theory.
  • Artificial Intelligence