Abstract Machines for Logic Programs

(chrisistyping.bearblog.dev)

4 points | by surprisetalk 14 hours ago ago