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

📅 2024-10-12    ⚓ Hacker News    🌐 Source    🖼️ Load Image