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