[PL-sem-jr] Logic Programming (Mar 14, Mar 21)

[Ming-Ho Yee]

Hi all,

Next week is spring break, so there is no PL Jr.

But for the two sessions after that (March 14 and March 21), Milo and I
will be presenting Prolog and logic programming.

We'll be presenting from a short blog post that introduces Prolog [1], and
a paper about the denotational and operational semantics of Prolog [2].

Thanks,
Ming-Ho

[1]: https://bernardopires.com/2013/10/try-logic-programming-
a-gentle-introduction-to-prolog/
[2] http://www.sciencedirect.com/science/article/pii/0743106688900076
-------------- next part --------------
HTML attachment scrubbed and removed