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. 1--13. |
---|---|
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. |