Produce Small Step Semantics for Prolog Rule explanation.

[alecdeshotels]

No description provided.

[razvand]

I don't understand this.

[alecdeshotels]

I don't know much about this either. It is Will's idea, and he might be able to provide examples on Friday.

[enck]

Probably the wrong term. We need something formal. I saw Ninghui this week and sent him a copy of the paper, asking his thoughts on how we could present it more formally. He hopes to read it soon.

…

On Wed, May 24, 2017 at 1:31 PM, Luke Deshotels ***@***.***> wrote: I don't know much about this either. It is Will's idea, and he might be able to provide examples on Friday. — You are receiving this because you are subscribed to this thread. Reply to this email directly, view it on GitHub <#22 (comment)>, or mute the thread <https://github.com/notifications/unsubscribe-auth/AAX88P7XGKH0q6mNNj3gPGeYF1e6BQoKks5r9GlYgaJpZM4NkT00> .