Set Predicates in Prolog
Citation:
 Egon
Börger and
Dean Rosenzweig, "The mathematics of set
predicates in Prolog." In G. Gottlob, A. Leitsch, and D. Mundici,
eds., Computational Logic and Proof Theory,
Springer LNCS 713, 1993, pp. 113.

Summary:
 A specification of the solution collecting predicates
findall and bagof of Prolog.

Subjects:
 Programming Languages

Download:
 PostScript,
PDF,
Compressed PostScript

Notes:
 An extension of the ASM for Prolog.

[an error occurred while processing this directive]