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