Abstract Machines for Logic Programs (via guillaume) — discussion

#concatenative #logiclangs