JFLP: Volume 1997, Article 1

The Journal of Functional and Logic Programming

Volume 1997

Article 1

Published by The MIT Press . Copyright 1997 Massachusetts Institute of Technology.

Your institution may already be a subscriber to JFLP. If not, please subscribe for legitimate access to all journal articles.

Equivalence of the Quotient Term Model and the Least Complete Herbrand Model for a Functional Logic Language

Makoto Hamana

15 January 1997

Abstract

This paper addresses the semantics of a first-order functional logic language, from the viewpoint of conditional equational logic. A functional logic program is regarded as a set of nonlogical axioms of conditional equational logic that are interpreted as defining a function. A query is considered to be an existentially quantified equation, and solving the query proves the existentially quantified equation by obtaining a witness. This is justified by showing equivalence of three models for the functional logic program, i.e., the quotient term model, the least complete Herbrand model, and the operational model of narrowing.

The following versions of the article are available:

• Preformatted versions of the article (compressed with gzip )
  • DVI (gzip'ped 31 kb)
  • PostScript (gzip'ped 74 kb)
• Source materials for custom formatting
  • LaTeX ( JFLP-A97-01.tex , gzip'ped 16 kb)
  • BIBTeX ( JFLP-A97-01.bib , gzip'ped 2 kb)
  • Parameter settings for custom formatting ( cjropts.tex , 117 bytes)

You can find this article also on the ftp-server of The MIT Press (access may be faster from some sites).

Self citation

    @article{jflp97-01,
      author={Makoto Hamana},
      title={Equivalence of the Quotient Term Model and the Least Complete
        Herbrand Model for a Functional Logic Language},
      journal={Journal of Functional and Logic Programming},
      volume={1997},
      number={1},
      publisher={The MIT Press},
      month={January},
      year={1997}
    }

Main page