[an error occurred while processing this directive] [an error occurred while processing this directive]

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.
[an error occurred while processing this directive]
Jim Huggins / huggins@acm.org
Valid HTML 4.0!

[an error occurred while processing this directive] URL: http://web.eecs.umich.edu/gasm/papers/bagof.html (page only)
last update: Wednesday, 14-Aug-2013 18:19:19 EDT