Abstract State Machines


Subjects

Methodology

Applications

ASM Studies

Prolog


Citation: Egon Börger and Dean Rosenzweig, "A mathematical definition of full Prolog." In Science of Computer Programming, 1994.
Summary: A formal semantics for ISO Prolog.
Subjects: Programming Languages
Download: PostScript, PDF, Compressed PostScript
Notes: See also the papers on WAM / Logic Programming.