Conversation

A huge fraction (> half sometimes) of the code I write would be safer and clearer in a logic programming language.

You’re unable to view this Tweet because this account owner limits who can view their Tweets. Learn more

Wait: Wednesday, right?

You’re unable to view this Tweet because this account owner limits who can view their Tweets. Learn more

Replying to

Cool. Check out games.soe.ucsc.edu/modular-comput, which describes just such a system…