# content
Can Logic Programming Be Liberated from Predicates and Backtracking? (via nextos) — discussion

#pdf #plt