W www-ps.informatik.uni-kiel.de Can logic programming be liberated from predicates and backtracking? [pdf] 197 points matt_d 2 years ago 97 comments
