[PL-sem-jr] Next week (April 4)

[Ming-Ho Yee]

Hi all,

Next week I will be presenting some of the formal semantics of Prolog.

I'll be presenting from "The Semantics of Predicate Logic as a Programming
Language" [1], but might skip over a few parts. If I have time to prepare,
I'll also present the operational semantics from "Denotational and
Operational Semantics for Prolog" [2].

Thanks,
Ming-Ho

[1] http://www.doc.ic.ac.uk/~rak/papers/kowalski-van_emden.pdf
[2] http://www.sciencedirect.com/science/article/pii/0743106688900076
-------------- next part --------------
HTML attachment scrubbed and removed