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



Login to add comment