Bagof/3 to ZF expression: an example prolog application manually translated to Miranda

  • Authors:

  • Peter Greenfield

  • Affiliations:

  • School of Computer Science, The University of Birmingham, Edgbaston, Birmingham, England

  • Venue:
  • ACM SIGPLAN Notices
  • Year:
  • 1990

Quantified Score

Hi-index 0.00

Visualization

Abstract

There is sometimes the requirement in logic programming applications to collect all the solutions of a non-deterministic program and associated goal. A manual technique is given for translating an example Prolog procedure, append/3, used by the predicate bagof/3, to a functionally equivalent program expressed in the functional programming language Miranda which uses a ZF (Zermelo Frankel) expression.