Can logic programming be liberated from predicates and backtracking? [pdf] October 12, 2024 by Comments