Abstract State Machines


Subjects

Methodology

Applications

ASM Studies

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.