Conversation

@andy_matuschak

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

2

3

8

@andy_matuschak

: Why aren't we building these things more like video games?

4

@andy_matuschak

That’s

’s area of research, actually.

1

@andy_matuschak

Replying to

@andy_matuschak

c.f. games.soe.ucsc.edu/modular-comput for the language definition

3:05 PM · Apr 6, 2014 from Civic Center, San FranciscoTweetbot for Mac

@JoeOsborn@scholar.social

Replying to

@andy_matuschak

@andy_matuschak

Hey, thanks for the plug! I looked at board games and generalized; I think logic langs are a good starting point.