Can logic programming be liberated from predicates and backtracking? [pdf]