Abstract Machines for Logic Programs(chrisistyping.bearblog.dev)44 points by surprisetalk 5 months ago | 2 comments
